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 = , | ] IOA:threads=6elapsed=7.651cpu=32.972gc=1.600factor=4.317zXZִF! N]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K aO`m¦ybh:v)Э WO{kA0Z~VI7}\LM7:<KTak.́\BE_|ͪ;< M%\wÏ1LYJy"o8b{ hK?*5"V8Ъ渾`Dѭ͕Zdxy3znMt,Ő6'F}9cY O/' QLd‚098!>p>1KrmF?r[xrǯ _eI9Sf׵y6p0E?T!c5)F}-av|RqN2h_f>&9ӭCYŜBx⑟`MV+bB!kTs;8/)LvU%w֚|:ݯ]G$mȚ0\4oԾz9xY޻\k9M_(Ո܍ۇ?t嶛Jv2i^n TI"mFG*o$Plv7丶8p;l߉;nЉ/ gYZ7zXZִF! &]ŗXi%>oJt|UCxL_fw˧D\fcfMkdbq7`CMvNK׸9`?.AXFj2|8sCwd#p[V?ө貒n?NnMcX;$;v 9Wl2vBX~Sx.SW8_P+1e,Ix#q4#4PFMO ZYSI1\qb.%qnp]A*5郈\8CZ9FXrҞ }LSrt Yֲ$jYG1#~ 5; _.XqL1}z4Y[䊐r3xA525]=>cGc[Տ4\u~wjf"H+ *RVv>B!{M#w=5zy"7!\Ǖx+Snuɸ%M4z_qE'OtZwXb ;;*&1h:^_=m(FyA-H Rĸm_ PfP DɮUqΉ #vg1vv2=u䐂Ti>ecV7~Ԯ#gX^6[Z&3w0/8tilZŝQDKQɗ*㟾y&7V1UZ7zIǴ:]]+H,=IWB/~s'ߞ??"TT `mBcץYDP6;t1u~wZ_/زA@X.9#j ՠo1*K4DY*8uBFoYr郡`uK`\X s5[R$WGp=fƠ(lhN妋MαgYZbd2528bc06d62c1994befe76e771b5453f832edeeb8afa5f3e15914627405f139746db5363a9c9cd f9d10642c34cf1b033c11c0e6a9a4a5dd6b1321e 18731d7ec843936c68ae82578395e943c0516d0d  IOA