SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  , S Cartan_FP:threads=2elapsed=2.215cpu=4.196gc=0.080factor=1.897zXZִF! ]ŗXf1-/6vRZy_Î:|7^qˋ>OS,4uH4NJ[ϣ+2O|_`i2LvSp æojI3d ,nүڨ2 a(vOCq]M&dЊYj-pޘW gu4Y?EkYmHs&uQ*,gꏲ\̠KucF꿶V6 7Xky)~hJ1px{[drtV+яU՝j3ń{r=2֙`3(UT ^/4=qR`eDia1֛   Cartan_FPɶS_2sqx$#>P yXVRc:gD+ K@69Iۯ+S'EjGq@b oKEm/yJ)$ѱgYZ7zXZִF! ]ŗXi%:4la;A\F$ўqV:B\sRnǥȣo˳[B|Y :_,淳M0o-ݪTHD aGPY#P-H/uEA;͵N6Q[Qqނ537v#2XjʕNShBg 0KwA^)bgYZ0464ec59d24dfecb40f57b4f0209592e0847e2bf 7057753c2198f293e7c6203ebeba89e1627dc079 ca1286a1e0a47715277580ab35389f0077a71e70 f731dc2c105e227e07d4b3192c213fe54f0b7697878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457 53c8bd6cd9b4e6659e7c8d26458e89775080e70f