data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAKAAAAB4CAYAAAB1ovlvAAAMO0lEQVR4Xu2dd4xU1RfHz9I7KF160RClS1GaSAmBUIwi2AiBSOcPCBAhoYcOEhBCD4TeFFRUqmABpUoHpUaUJr0oiAK/fM7v9zbL/hbYmdk3981yTkLYnXnvnTvf99n77rnn3Dtx9+/fvy9m8scff8jBgwdjQomyZctK3rx5Y6Ktj2tknAEocuLECfn999+lTp06j9MrEO9/88038uyzz0qhQoUC0Z5IGmEAisimTZvk1VdfjUTHqJ8bi21OSiQDUEQ2b94stWrVijpEkTjcsmWL1KxZM5JLBOJcA1BEfvjhB6lRo0b8Dbl7964888wzeoOfe+45GTVqVLJvVrp06aRVq1ayevVquXLlykPPO3v2rDz11FOSKVMm+eijj2Ts2LE6BFi0aJEkZ1i+fft2qVatWrLbFdQDDcAkAFywYIG899578vTTT0uxYsVkx44dOk4sXbq0jBw5UubOnasBy65du+TDDz+UokWL6v/Y2rVrpVGjRvL666/LO++8Iy1btpTvv/9eevToIb1795a33npLGMMBT8aMGQVgsddee00+/fRTiYuLUwBXrFghkydPVigHDx78f/wYgEH9kwqjXYl7wGvXrsmIESOkX79+CsD+/fuFG/7iiy8qGPSI27ZtUzBnzJghL730knTs2FE9Z8mSRW7evCnp06cXetKKFSvKnj17pHbt2jJo0CCpX7++/Prrrwo2sHmWGMDp06drL/rGG29ImzZtDMAw7mvMnJIYwFhouPWAsXCXktlGAzCZQvlwmI0BkxgDppTOS5culdatW6fU5R64jvWAvsjq5qKh9oCM/xj3ESx8+eWXMn78eB0zHjt2TEaPHi3fffedBh958uSRJUuWaKDx559/6rjxlVdekQEDBgjTKF9//bVkz55dfvnlF426QzEDMBS1An5sqABWqlRJypcvL02bNtXImN8Bi0CEyLdAgQJy/vx5jXgBcM2aNfLVV1/Jt99+qxkM3id4uXr1qoJHFiZbtmwhqWQAhiRXsA8OFUB6t8WLF0uGDBk00iWCJdJligYAiXZz5sypUTIA0lPS0zVu3FiWLVsmRYoU0Qh41apVOiUzZ84c2bt3b0giGYAhyRXsg0MFMAifxgAMwl1IoTYYgCkkZBiXsSj4f1EwAQTZD4wMBxPQhw8fluLFi8dPGJMB6dy5s/z1119SsGBBzXAwBvQmlMeMGaNZCwIOzHud0imu98knn2gG5fnnn4+/Vd4xv/32mxQuXDjZt9B6wGRLFfwDvR6wXbt2GjwQMAwbNkwj2hs3bmjKjH89e/bUnC0A9urVSyZMmKBjQLIemTNn1hQdECcEkLEfmZPZs2erEDt37nxAEMaMkyZNEqZsunfvLoDI2JDImhQfY80jR47otQ8cOKB5a8wADD5XyW6hB2CaNGmkatWq0r9/f2nevLmeTwBBr3bmzBkZN26cRrCff/65NGzYMP79Fi1ayGeffSZZs2bV1xIC6BUWAOk///wj+Lh371582wCQAgSMyJrKHNJwpPS6du2qabgmTZpI/vz5dWrHK3AwAJN9e4N/oAcgNXbVq1eXevXqydatWxWUjRs3ysmTJ6VDhw5aMQNIQMSxGL3V8OHD9WciWgoR/v77b61YvnDhgr6eI0cO7VXr1q2rgNFLUvCADRw4UIYOHao/v/vuu7Jw4ULp1KmTwg7Q+KQtFDsAcN++fa0HDD5SobXQgpDQ9ErJoy0I8TEVl5I3KvG17BHsp7pRvvbDekDGfSxWYgKZAtL169frhDKFpFWqVNFHJ4EJAQhZDaqqDx06FD8G5GNwPqk2yrFOnz4dv47j3Llz+ikZU3o1gKdOndLAg0c4j3ke9w8zAzDKkPjp7lGPYMZ3BCUEE96UyZ07dzQiZR0J4DFGIzeMMW4jSi5VqpTmhv/991+t/ytTpoyO4YCWcR8AExEzPcN0jpdXvnXrlkJNio7csQHo550PyLUfBiC9F8BQXECqbMOGDRr9dunSRaZOnaq/EySQx502bZpGrz///LNOq2Dt27dXAJlP5DyApLj15ZdfVgABjGvNnDlTS/9//PFHLVCgUOHSpUsyf/58AzAgjPjaDBdBiNcDJvXBvCUBj/rQ9gj2FYnoXtwFgJF+QgMwUgUDdL4fAPKY5ZHqlxmAfinr4LqRAkiajvIrJqyJkgkoCEqYdCaSnTVrlvTp00dY7MSCJZZiRmoGYKQKBuj8SAEEOiLk999/X3O4/AyAX3zxhbz99tsaiBDEEFiQdiP9FqkZgJEqGKDzIwWQkvvcuXNrD8gcIdM0ALh8+XKNbsnr0it6AJJyS87icwtCAgSJn00hh0ueNlJjDo8pGaqjy5UrF+nlHnk+5f0sA4h1c56KO378uM6N0SOsXLlSH1vXr1/XMqfExqMtbdq0mtynUqRy5cr6O7sMkFEI1ygsYEKYa8WCUSQBgLG2oVJS2kYNQDIGAEMKip4CAygG79x49mHxKkR4j1QU73vZBwBF+ISPrjfffFPr4niNAb73HtkISpvYWYDrP87IXDAp/MILL+hKNnx7Fumj8nG+Q3mftjA5zsQ2j3hSgLFuvgHIrD+rwqguxogUyRxUqFBBI0U/jbwtPSs9BAEARp6WlNfDjJv7008/ae/LeeRtKQQNmjHGRMOE23oErY2htCdFAeQGMpaiihiRhgwZooWdrsUCLtJkH3zwgQLGqjRgZH+WhMa8XcmSJTWdRq8ca1u2hXLjg3JsigDI4mzWyDIO2717d0TjsWgIQxt55N++fVvHUlSqeOMq/LPON1euXNFoyhPvIyIA6UWIxAgCqAiJNaOnBj4WClH5TE9tvV5072LYALLNGFUbDIqJSmPZKK1iGzV2NpgyZUosf5SYa3tYAHr7ojyqXi3WlGCcyIQy6zEMwujdvZABnDhxou7cefTo0ei1MoqeiNYZF3oFplF0/US6ChlAxkkM2F1Htn7dLQIT0mre0kq//Nh1/6tAWAAGaXLWjxvprdHw49p2zQcVMACTIMIAjN6fScgAkqYiu5AwXRW95vrvibQcuxAwRWPmvwIhA0hqjQE6K7xSo5EBuXjxopZVmfmvQMgA0qS2bdtqpEhdm7cthf9N9dcDPR+lVFQvs5rNLDoKhAUgTWObMvKrJO1D3d84Oh8t+V7YgYoqZXYvpcLGLHoKhA0gk7ZUnZQoUULHg/SI5FBjydjpgGIJ9uXbt29fqihviiX9w5qG8T5gwkgRECk9Zw5t3rx5ug4iqMYcJjtMsfsUtX9spcH/Zm4UCLsHTLzPHc1nTxMeYWxZxmCeXpI8K7uIujZ2MPCWSbKJeFLfv+a6jU+i/xQFMKGATFbny5dPI0rtauPipFu3brrlLbuL+mlspwH4H3/8sVZJ88dCj8cXBqbWDI6fevp57bABTM5kLb2gt7YDEPjKApYlrlu3TleOJXyc85UHTO/wjZIJX08MNb/zGGULXRb/MCeZMDNDmXqDBg30McvicAPOT3wiv3bYALKIh68z5StGkzJgI1JmLcjjjH2ReXxjrOOgNo+9mplrBC6vF+ORTsBAxOqtOmPJY6xH4Y/TJzW/HzaAiMKqf752iu3GEhor25o1a6bblKWGhTOpGQDXny0iAGk8PRIbORL5UkVCqRaPXlJZKbEFhWuBzL+/CkQMIM2jdOny5cu6gzsLfiyN5e9NS01XTxEAU5Mg9lmiq4ABGF29zVsiBQxAQ8KpAgagU/nNuQFoDDhVwAB0Kr85NwCNAacKGIBO5TfnBqAx4FQBA9Cp/ObcADQGnCpgADqV35wbgMaAUwUMQKfym3MD0BhwqoAB6FR+c24AGgNOFTAAncpvzg1AY8CpAgagU/nNuQFoDDhVwAB0Kr85NwCNAacKGIBO5TfnBqAx4FQBA9Cp/ObcADQGnCpgADqV35wbgMaAUwUMQKfym3MD0BhwqoAB6FR+c24AGgNOFTAAncpvzg1AY8CpAgagU/nNuQFoDDhVwAB0Kr85NwCNAacKGIBO5TfnBqAx4FQBA9Cp/ObcADQGnCpgADqV35wbgMaAUwUMQKfym3MD0BhwqoAB6FR+c24AGgNOFTAAncpvzg1AY8CpAgagU/nNuQFoDDhVwAB0Kr85NwCNAacKGIBO5TfnBqAx4FQBA9Cp/ObcADQGnCpgADqV35wbgMaAUwUMQKfym3MD0BhwqoAB6FR+c/4fKhzo8+WEyzwAAAAASUVORK5CYII=data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAeAAAAFoCAYAAACPNyggAAAOhUlEQVR4Xu3VwQkAAAjEMN1/abewn7jAQRC64wgQIECAAIF3gX1fNEiAAAECBAiMAHsCAgQIECAQCAhwgG6SAAECBAgIsB8gQIAAAQKBgAAH6CYJECBAgIAA+wECBAgQIBAICHCAbpIAAQIECAiwHyBAgAABAoGAAAfoJgkQIECAgAD7AQIECBAgEAgIcIBukgABAgQICLAfIECAAAECgYAAB+gmCRAgQICAAPsBAgQIECAQCAhwgG6SAAECBAgIsB8gQIAAAQKBgAAH6CYJECBAgIAA+wECBAgQIBAICHCAbpIAAQIECAiwHyBAgAABAoGAAAfoJgkQIECAgAD7AQIECBAgEAgIcIBukgABAgQICLAfIECAAAECgYAAB+gmCRAgQICAAPsBAgQIECAQCAhwgG6SAAECBAgIsB8gQIAAAQKBgAAH6CYJECBAgIAA+wECBAgQIBAICHCAbpIAAQIECAiwHyBAgAABAoGAAAfoJgkQIECAgAD7AQIECBAgEAgIcIBukgABAgQICLAfIECAAAECgYAAB+gmCRAgQICAAPsBAgQIECAQCAhwgG6SAAECBAgIsB8gQIAAAQKBgAAH6CYJECBAgIAA+wECBAgQIBAICHCAbpIAAQIECAiwHyBAgAABAoGAAAfoJgkQIECAgAD7AQIECBAgEAgIcIBukgABAgQICLAfIECAAAECgYAAB+gmCRAgQICAAPsBAgQIECAQCAhwgG6SAAECBAgIsB8gQIAAAQKBgAAH6CYJECBAgIAA+wECBAgQIBAICHCAbpIAAQIECAiwHyBAgAABAoGAAAfoJgkQIECAgAD7AQIECBAgEAgIcIBukgABAgQICLAfIECAAAECgYAAB+gmCRAgQICAAPsBAgQIECAQCAhwgG6SAAECBAgIsB8gQIAAAQKBgAAH6CYJECBAgIAA+wECBAgQIBAICHCAbpIAAQIECAiwHyBAgAABAoGAAAfoJgkQIECAgAD7AQIECBAgEAgIcIBukgABAgQICLAfIECAAAECgYAAB+gmCRAgQICAAPsBAgQIECAQCAhwgG6SAAECBAgIsB8gQIAAAQKBgAAH6CYJECBAgIAA+wECBAgQIBAICHCAbpIAAQIECAiwHyBAgAABAoGAAAfoJgkQIECAgAD7AQIECBAgEAgIcIBukgABAgQICLAfIECAAAECgYAAB+gmCRAgQICAAPsBAgQIECAQCAhwgG6SAAECBAgIsB8gQIAAAQKBgAAH6CYJECBAgIAA+wECBAgQIBAICHCAbpIAAQIECAiwHyBAgAABAoGAAAfoJgkQIECAgAD7AQIECBAgEAgIcIBukgABAgQICLAfIECAAAECgYAAB+gmCRAgQICAAPsBAgQIECAQCAhwgG6SAAECBAgIsB8gQIAAAQKBgAAH6CYJECBAgIAA+wECBAgQIBAICHCAbpIAAQIECAiwHyBAgAABAoGAAAfoJgkQIECAgAD7AQIECBAgEAgIcIBukgABAgQICLAfIECAAAECgYAAB+gmCRAgQICAAPsBAgQIECAQCAhwgG6SAAECBAgIsB8gQIAAAQKBgAAH6CYJECBAgIAA+wECBAgQIBAICHCAbpIAAQIECAiwHyBAgAABAoGAAAfoJgkQIECAgAD7AQIECBAgEAgIcIBukgABAgQICLAfIECAAAECgYAAB+gmCRAgQICAAPsBAgQIECAQCAhwgG6SAAECBAgIsB8gQIAAAQKBgAAH6CYJECBAgIAA+wECBAgQIBAICHCAbpIAAQIECAiwHyBAgAABAoGAAAfoJgkQIECAgAD7AQIECBAgEAgIcIBukgABAgQICLAfIECAAAECgYAAB+gmCRAgQICAAPsBAgQIECAQCAhwgG6SAAECBAgIsB8gQIAAAQKBgAAH6CYJECBAgIAA+wECBAgQIBAICHCAbpIAAQIECAiwHyBAgAABAoGAAAfoJgkQIECAgAD7AQIECBAgEAgIcIBukgABAgQICLAfIECAAAECgYAAB+gmCRAgQICAAPsBAgQIECAQCAhwgG6SAAECBAgIsB8gQIAAAQKBgAAH6CYJECBAgIAA+wECBAgQIBAICHCAbpIAAQIECAiwHyBAgAABAoGAAAfoJgkQIECAgAD7AQIECBAgEAgIcIBukgABAgQICLAfIECAAAECgYAAB+gmCRAgQICAAPsBAgQIECAQCAhwgG6SAAECBAgIsB8gQIAAAQKBgAAH6CYJECBAgIAA+wECBAgQIBAICHCAbpIAAQIECAiwHyBAgAABAoGAAAfoJgkQIECAgAD7AQIECBAgEAgIcIBukgABAgQICLAfIECAAAECgYAAB+gmCRAgQICAAPsBAgQIECAQCAhwgG6SAAECBAgIsB8gQIAAAQKBgAAH6CYJECBAgIAA+wECBAgQIBAICHCAbpIAAQIECAiwHyBAgAABAoGAAAfoJgkQIECAgAD7AQIECBAgEAgIcIBukgABAgQICLAfIECAAAECgYAAB+gmCRAgQICAAPsBAgQIECAQCAhwgG6SAAECBAgIsB8gQIAAAQKBgAAH6CYJECBAgIAA+wECBAgQIBAICHCAbpIAAQIECAiwHyBAgAABAoGAAAfoJgkQIECAgAD7AQIECBAgEAgIcIBukgABAgQICLAfIECAAAECgYAAB+gmCRAgQICAAPsBAgQIECAQCAhwgG6SAAECBAgIsB8gQIAAAQKBgAAH6CYJECBAgIAA+wECBAgQIBAICHCAbpIAAQIECAiwHyBAgAABAoGAAAfoJgkQIECAgAD7AQIECBAgEAgIcIBukgABAgQICLAfIECAAAECgYAAB+gmCRAgQICAAPsBAgQIECAQCAhwgG6SAAECBAgIsB8gQIAAAQKBgAAH6CYJECBAgIAA+wECBAgQIBAICHCAbpIAAQIECAiwHyBAgAABAoGAAAfoJgkQIECAgAD7AQIECBAgEAgIcIBukgABAgQICLAfIECAAAECgYAAB+gmCRAgQICAAPsBAgQIECAQCAhwgG6SAAECBAgIsB8gQIAAAQKBgAAH6CYJECBAgIAA+wECBAgQIBAICHCAbpIAAQIECAiwHyBAgAABAoGAAAfoJgkQIECAgAD7AQIECBAgEAgIcIBukgABAgQICLAfIECAAAECgYAAB+gmCRAgQICAAPsBAgQIECAQCAhwgG6SAAECBAgIsB8gQIAAAQKBgAAH6CYJECBAgIAA+wECBAgQIBAICHCAbpIAAQIECAiwHyBAgAABAoGAAAfoJgkQIECAgAD7AQIECBAgEAgIcIBukgABAgQICLAfIECAAAECgYAAB+gmCRAgQICAAPsBAgQIECAQCAhwgG6SAAECBAgIsB8gQIAAAQKBgAAH6CYJECBAgIAA+wECBAgQIBAICHCAbpIAAQIECAiwHyBAgAABAoGAAAfoJgkQIECAgAD7AQIECBAgEAgIcIBukgABAgQICLAfIECAAAECgYAAB+gmCRAgQICAAPsBAgQIECAQCAhwgG6SAAECBAgIsB8gQIAAAQKBgAAH6CYJECBAgIAA+wECBAgQIBAICHCAbpIAAQIECAiwHyBAgAABAoGAAAfoJgkQIECAgAD7AQIECBAgEAgIcIBukgABAgQICLAfIECAAAECgYAAB+gmCRAgQICAAPsBAgQIECAQCAhwgG6SAAECBAgIsB8gQIAAAQKBgAAH6CYJECBAgIAA+wECBAgQIBAICHCAbpIAAQIECAiwHyBAgAABAoGAAAfoJgkQIECAgAD7AQIECBAgEAgIcIBukgABAgQICLAfIECAAAECgYAAB+gmCRAgQICAAPsBAgQIECAQCAhwgG6SAAECBAgIsB8gQIAAAQKBgAAH6CYJECBAgIAA+wECBAgQIBAICHCAbpIAAQIECAiwHyBAgAABAoGAAAfoJgkQIECAgAD7AQIECBAgEAgIcIBukgABAgQICLAfIECAAAECgYAAB+gmCRAgQICAAPsBAgQIECAQCAhwgG6SAAECBAgIsB8gQIAAAQKBgAAH6CYJECBAgIAA+wECBAgQIBAICHCAbpIAAQIECAiwHyBAgAABAoGAAAfoJgkQIECAgAD7AQIECBAgEAgIcIBukgABAgQICLAfIECAAAECgYAAB+gmCRAgQICAAPsBAgQIECAQCAhwgG6SAAECBAgIsB8gQIAAAQKBgAAH6CYJECBAgIAA+wECBAgQIBAICHCAbpIAAQIECAiwHyBAgAABAoGAAAfoJgkQIECAgAD7AQIECBAgEAgIcIBukgABAgQICLAfIECAAAECgYAAB+gmCRAgQICAAPsBAgQIECAQCAhwgG6SAAECBAgIsB8gQIAAAQKBgAAH6CYJECBAgIAA+wECBAgQIBAICHCAbpIAAQIECAiwHyBAgAABAoGAAAfoJgkQIECAgAD7AQIECBAgEAgIcIBukgABAgQICLAfIECAAAECgYAAB+gmCRAgQICAAPsBAgQIECAQCAhwgG6SAAECBAgIsB8gQIAAAQKBgAAH6CYJECBAgIAA+wECBAgQIBAICHCAbpIAAQIECAiwHyBAgAABAoGAAAfoJgkQIECAgAD7AQIECBAgEAgIcIBukgABAgQICLAfIECAAAECgYAAB+gmCRAgQICAAPsBAgQIECAQCAhwgG6SAAECBAgIsB8gQIAAAQKBgAAH6CYJECBAgIAA+wECBAgQIBAICHCAbpIAAQIECAiwHyBAgAABAoGAAAfoJgkQIECAgAD7AQIECBAgEAgIcIBukgABAgQICLAfIECAAAECgYAAB+gmCRAgQICAAPsBAgQIECAQCAhwgG6SAAECBAgIsB8gQIAAAQKBgAAH6CYJECBAgIAA+wECBAgQIBAICHCAbpIAAQIECAiwHyBAgAABAoGAAAfoJgkQIECAgAD7AQIECBAgEAgIcIBukgABAgQIHLFxAWmhEwHPAAAAAElFTkSuQmCC

buildPYTHON,PREDICATE,REPORTER,TRACING,ABSTRACTION,GENERALIZATION,VARIABLES,ANIMATIONTRACING77