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 [3 <4 ]S IEEE_Floating_Point:threads=4elapsed=24.735cpu=69.752gc=1.416factor=2.827zXZִF! #]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&X5T;9b5D[eN`/Ȅ8ٖ(1F` }bBt/x~^|)h ^ K5ϔѴ.iɓP:hդT &ʿ޹zg6;ur ɒ+ya1HJ.D*D.hb?`8⦊:nӜx>90Ԇ ד. A)ՎgH'QS(ԪBR.J#} e$'!Q*q.y$QmDVP c zCB5*kEdTP(B@M+ 7~]:%\) &;\ܝ< ^')^*PSK|,{PN v<ƙvpn;S*G7cd U=ӯQsslalja@M:aLB>3d̢Hc2V&xzbxg˥EcQJL6cM"[G`z/se f}ʰHZ* @ lN 1&gYZ A3A+ IEEE_Floating_PointIEEE_Floating_Point.Doublecode/export1.MLB zcjS쟯qȫ$.8:ָgŁIˡcYv2 6V&mACZ5b ,\e$c qXLG n7CD[N3vw2-c+? T"5㊏`}R])-"Lq7 ؿhY_k8(9aS ]$s\MhM4iR a5'QzJ[ES@QaD F^SXQ(u Iۚ@|PRSr"d- 4 :obgKpt辻{e)Dߧ*Ieu!=f,qB0C<{֝v־T(I䥎N9Z*[o +2WVnO/sDd2{锴<; +QQ:3/%JfTP1:ܧ2U?N05'Y?^Ҥà$XE! #NY_kLC8z`*O|A6;y'㟴~CY lf|fLM,锄lE;CȔRD)Sr,}-UžL;uUN /ɗ3Sýӝ]y$U 1FTv!(hb(GG4gYZ7zXZִF! eR]ŗXiɟ1˦r+g'Dgr>{pNa5R^J8-]T޿|J5 |B1Y8oQk IT_fK>/U7!R}ʵ?UGL q%84&LuVx<4ZۚJ>< ػ5o͊Ty~Xi sΥ{ov>JJHwt|";TvX#D-oGd;[F.@t.*G10 |ce(m(Y +%'W]@SCdN~' 0kַk?")EH ?x S6=Mu;ɀ7"orf.a#R&2TA$6Qh 9&NB}՝Y .CΜ5kUρ$|plH-wU QBUI"_LZ[0Ƽ C>Y*; +z@b<݈kˈJG.H썉2?n%L S゙eVlErW*CgÙ0-u!14Cupg^aiDTr3X6b)+0kvp60~H hpLyP#bgqŌtH#$0sClQs3۰e@=NW77-xY(gsZCƩE:q*XdA-؀`^k%]D*R" nMD1?7HQTIsCa`הve\W*"*:S^$ӻ*RdM q+hShDb֩{Lנ$xxy.p>yEu9ҚܰˆlfE2Yf;Qg:$3e]A"+I*2hI!L=>"5s$0dLc>.829 2T.ѥi }Y'K,يGFD8P].醶L6 +vzo*]|w T|e>tlT v_UԹ,}J&[N:Q bTeuH0q~g!@1|55)l^^~1Q %p?2R{̢rZel"G I%;Fgxp#4!sdy7]ޏ( >)},n҉ya&1Q/@jYjAq%&5^(ttǽusm^'K? 1Cٌ/tjY Q\WI}mœ9dY(<邉3u _sDx 'RD̩ \2ǿЏQ]Xܚb .|+nj`$8ϯ41c2"^j)?xb?0+AZg]Ї Fe*ϡ[P,oq{U_* W vK:-m:2X~WHQm4G+ϛzvf4i 9~?WS#:B*X`L[w"x֡\omD4)dk^O]h]@;Kxqmj"]>oYޤҮb,ӯi8Tr?l!YYQ)>6H](t E~o3 ǯ$"ぎ-CzMT.R^64G'E[pܞ@3 )?t~޷/PWxj @p"oţQcvл_Mjgtr1N."כ;AžC+:9>= Z8Z_