SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" 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 |B&KR5l0k1nLtn^Ī |3kB 4)t5gr9uPy߹ mdݢ}$Mysc)AcQ:Ó_0x/^x̽P 3!ÒbݿZEc6F_(ָ ^э`+~BE$fIn*lI^maa2nz{"Q)W& *xH^(VOH/&L:Գ<9wNX =>8Aj0{ԴA;,&I  u ੘$"@! j탒|Ҍ:>lqgUhys:^P *;c4E ˆL L4n./%Zk>YPe(/Τf\Bl1w0h#OH&P0(:/AB:U!KG@գZG_t ѮS[̵KGks՗Ub <&OQ'w<5m'p^Uz(s@uFhV *s3A|fEI lK ~e a :_P>K'r yG=tg'݄,5LIΉF>h0WKJ63 %ygYZ7zXZִF! W]ŗXiɟ>Ӈɇ9S2]kSTSX3j{>D{ۅK{^&bѱgYZ7zXZִF! <k]ŗXi%>`ߦ&0𡯾4UOh8I;WV_^?|M4]rؙ\cMbFd\9ᘝ#:HqJkdt|OFMIoE̙Oڮ1ء::gGBsȠb+@yW+VJ0 HY0>+X3̘?@?w[+?XnΉ㌏[}JbmIWӃ0 F\O#Wbh~P Lz? x&o=xJ1~,_i~( ,q{21"Awpa;fG4 Ƌx3 r]&&B77$ŏxZai54.Y*@\}Vlz/wtp "ED @!t/XmU\g/x9W?f[- Z=95@Fy yL4gYZa4c5041336c5559e72884be3c8c63550ef3eebc1f6e8c467571f6b6fd723f058bfc31d74652304b2 db42b5600cfea4bc64c4d86c908b1b90546d9cd6c7a73804bf90450cc8ee848b070367243bbdccd6  HOLCF