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 |< ]/]ZF-Induct:threads=6elapsed=3.570cpu=12.456gc=0.720factor=3.497zXZִF!  ]ŗXf1-W_X'g+غB?Z`Oyy s50)WKP[ TW+&ei_ wuo+*0?>2!ܺs6&BXzq})PŸL.OUc{37G:3Ta+ZwQ-> :/]=6,{U]I@$JIԽl'R2>TFيn|Y ޱgYZ7zXZִF! ]ŗXiɟ9\'BFd2KIەz=`6~AM5(xT:JYW$"J3J^)%/`a;wT(rFpWAd8Թw: z\.l$rck khj:R| Z).Գ\(Edx}p>zN|_HK]QoЍNbSb z'KQk<ɔٕD |,gXɱgYZ7zXZִF! ;]ŗXi%GCoN.L?~x8x!'u.4s!&x g!69X6P]-ܛ>_x Rff)ӱAנ- A)ΰ'AپvKؼc,Αĺ{䐻?쿃b/mז,.4\UlcیS T\[֍ Aofn۱hK|bHގ}{JiTfI WXk7m21l[ "e! .^s=gG" G,؃JQb6uBY]\d$:C|cxEFdP{G!Pm:lRf>};ٺ<SlUÕ%Zb+U&1OE?IJܦKz7ΐD DO"r کo^^@D8୎olx[:$ eqgf$_Z{3M O(CZ ueֶ4o%{|YUFF.!h\)b^5Ywq?[AKy)Q, gYZd82246573e4b76fa5314726dfebc0b2f1b1eef8a166ea06b876a32a5026b5eda3d8717e2fd0b6b7f 2f551b7910d9b9ca9a370adb8b7f2d070b480688a72e47d1aa1882e9c09ea0de23cf077447c17298   ZF-Induct