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.212cpu=4.100gc=0.060factor=1.857zXZִF! E]ŗXf1-/6vRZy_Î:|7^qˋ>OS,4uH4NJF8-4Wa'e@*U?6;yqVPlbÀb% TNଦj1.MB(^TWo"RRj! ^XdCB& O/25h6uUPW-`StĪt!_Gڄg%#f NU9K a{s:X|RWWXjoy(6Lm;xה2hŞo.GA)VcnGm.oDQfJ9䧶y#gaZ) 4   Cartan_FP] 4u2v^P$*]sKf'GAcrm|Ýͼ b AQtYrv!)jQO]b ^9J3"*9?( s=gYZ7zXZִF! ]ŗXi%B׆h;,󙛄b>moE `9i~dg@ jK@1:ѿdDUڢ5d뚭qcۅ3֟\0r&>i6F{8:C]Qvs@¥P0]tȰÀu ߒ]}W>, .tQ6[6`9ýx생?H'U@X?RO%u:jUZSo(e 9vz00[WßqQ'5䡻% }DZQ LO\?lRmSqpCz.J簽=H_Ncf2jC`]v8\fծt $#pVas O#8$f걄5&؈D;yǾFDAu웚!?vق*$FMR5051;r#; : [^s, ~9mo;ìz37lr)/=B)r8/ޱgYZ7057753c2198f293e7c6203ebeba89e1627dc079 bdaa1b99d71610c6a792ae278149d579a721512e ca1286a1e0a47715277580ab35389f0077a71e70 f731dc2c105e227e07d4b3192c213fe54f0b7697d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295 f0ca457e6dbd65b6dd2f85c094ad1cb6a503566f