SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 n# \ ] Shivers-CFA:threads=4elapsed=20.859cpu=62.104gc=2.196factor=2.987zXZִF! ]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&X %FQ1s#gxS$wPǬڄ۰ciT?-am,fed)nT`SA,GtŠD[Fd֏ ݫ~y8ԯO:ΦrF꜐jp?rLWsRETyjOPqnf8 kp {ʼfMބJ]u <'T3vMnT}T!#6%dWk;pA[#=tjk$\KN-]'οJݣQ`lk(I)I;q^z. aҰzӏa-Jθնr9f%[UÔqqYgX0ՙ|J4X&š?\<_Y]ˈf47-lqT v97[U6u*qZt_w+*NgYZ7zXZִF! PE]ŗXiɟ1˦rnzx <@0+gML ȉ 6Y0V)x.y^ ~H rcCh&V%{?v1c 8rqd3cEPGeJfH`V,t\]p#y_)IeUW_PiGf iVI @I5JzV"C?Zҁ.˛iBxzz ͮhczHaPfs_$Ggnv]a}ܤTBMYGKHp0o"\!DFuXqDeF^8O 푹 sIl)]0Ƈf%4*OYdjxLG-dbdd\IT?&FhM;eg'4`$(b&щPbID-10Hp (뼛Z.,vA1C ?iG A]٭_\ԋN ݠ0h?T/(fur+&ɸFq&a`Nٙ8nPeFit2D#Ax4:=f/ےɐ. N{ b + uE-VéD;!x^|pzJ Mw+ 00$@JgOGa ʹZl` Lgs,%~gXw"3O xxX;Oiz֞}SI04x MQ\zS 4w*o\JcK1b6[Kךf_zFQ1`Ub־6¬2pa %^30y9 ."2_~q[C|s Nf^s`OIyV^-m ,ߤd\4E7a~+;JQVCӒԪ xUj/gynT94&ow2˱ V2cȀV5BKZ)EJ8~X|XBր9}n3QNMOsCioR'Ԑ@q˞=4\ vuj7)8łI 1K<D-y<-2c'JaQ+ Y Lv-ȡ1Ž?Ui`M]Eނ 9Ir+<+3%>`w7*_;،Y'ɪ1^迯?p),]x@d/ڴwC^G9HfʷנE}V)yd|HU* ^;јz~iV5x\rNSn+-D%w„t /| {C)3ͱdn;,naٹҚՇ!cb*7KC!o27-v GI6;R:͉0o#Kڮ%"(A+SxWA)rց$6TWF_IFq5<*La9A @<‰v+wH1 g^xI)i \5$ }/ @$]cK?r`OG,^wgYZ373c1165fe40a9239b00c6d329cec02ba84b651bddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 961d7cfc19b96122dabf28304bf6dc45da32abbe d2e87123518da864e1214201ac7c02e3ec9b024f # Shivers-CFA