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 `` 4| ]/ FLP:threads=4elapsed=15.538cpu=44.244gc=1.000factor=2.857zXZִF! ]ŗXf[&l @7d|ĝ?PqF.kK)I][FҋTJqh taO:i `NG ';[;׫;av[; WXJEǯ~ $җ@-~*n?}UǨ)Xcޕ&ZrPl\)^‡Q}O*,v cT<e(%rQU=RWa=b&(3uff5%P*$IAG7:nl_޻wup֑VQS%_at 37mGF,q{xP6 왱Baq+NܕJ\_KPP Zoj`2}e&朁S)4H1 j9PYX?7ډ\'n#Mo$WY-J!r P`%f_N^-K&[='$ovxϩAkS A}mA)xE؜UOc" \?tI\hS: ]ex?DiJ_6XO{^m2U9|Qtڪ&v5h09'ij?мl/oT\V?DžK|Wԗ=`+/gYZ7zXZִF! ]ŗXiɟ6PSוuF3J"ᱝM}u?.$µ]TK{tSqzqFT=O $BZ}bն,|0MxOI)Nrre4SAuqU _Ar0þa2f*+:RnSܬ#z8۱gYZ7zXZִF! lx]ŗXi%B:gM6 aFF7Z@G|{@ЌrtMPS4=7JC?;+SUu*1n>h}AhT|ҟԻ}1\d5}F @t7@׼oQAb[Q>;RQTοP?϶(܊4T71l4($H̅PsyV ׃+$t 8"1?nAmm1YBc_;5 H8F󶶒>ԐsW[@xqv&bn>?]&NO>Ţ6th!V~:˪3pAF[M۾ai#.[ު̴{ً*Yd~/N<Ό 0ML߭Xfgmj. QH2ԚěCElF0+^tZN/<`lXp kL9M05o7LŖ"q-y =mEJp݊tB֧*K@}:1Ӡ\|~1^j-cx{)ӗϨndKKXܵ18uw?7BK^}[8^@ƱNCG! +FJ] 8!^XD膨'cǦO94lwURQEڷKǏ[}~U,X/!͙DyY(%sG ᯔz$wLSaMQnƷ䷧deO'g D큜/( }y|krm]Nre`X:8B&E%R`Ż79<܏!_ŕV th4P[#sL$/? j)No]bseBMR#yJ@0AB$iajw4r+]_ \9MCD>@e5*Z[ApBP?kbE;b.UN֚Ov2_md$ tJu~8]Mtd|i/z/CX4ΔAD|C Ud}Kgmt;4}$¿ 1Z[l l7BKeh[qAG$s t0$3[dbӞ4#HeM-IwCGc5M+8pƤcPh4pb~o(Vҧb;i ׺9rԚ7_VJ/uo˜MnԱgYZf5040d89247fe9a3230eb1835d92c97d18b5693e13f786b8f4762c1203e3da5c15d634b6876ecf36 7ac514d3394501c5bf6707600eeac5a1d30a5454  FLP