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 g3 \Td ]S IEEE_Floating_Point:threads=4elapsed=26.710cpu=76.460gc=1.888factor=2.867zXZִF! &g]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&X1&BWm5*t.sOq%뵇= Ү(R,(~ M'W@nXԴ8D=r1L9YID*F2%9h ^ 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.ML0}J6 3kjhq\Wuˑ`MVL)>%rôꛔB.D4 !2XoxPi&+jK ?SηU8jf9*Rh2>V F^9Iɤ"uSKⶒyincq𚾛b5]6צ̋qg/^"k4 {wDird'g;E{>H.0G%4"Q*JzJJ3\V*H9ͅ/ B *niKPuo] Eȉ`B$RaM>ᯃ^*-ɘ`u5$Ő{o :<dw O]qhi<&kV|WO#?$zT~-[}AuuC$g'M?EYvg# 󫛴^2Vʴ@ o ]Gw"֜hz?'/r8M{pNa5R]~n$-U8wX*[)0 _KZ ); cVs9ܶO2j+=r?wXVD9̑Px%ke[(UL39nGЪ>_XSJ%IBYLUtZu[rEQ^@U?b1yx`zҚ,DC3T1Z֘8 7f=M^2M'Pqyu5v?N _I@ig*;mq7:O~_]18Uu~}) [G# 7L#~.)-.9z5٧sHgYZ7zXZִF! ]ŗXi%Eb⬞m>9: qބ/kWc][lγ: _z/ +OOZl2@*HѮJY qⅳO]+c_lGQ.-̝Uԃ-Y᭷B;MvINIxu4UpNV HVDC !WѻWͨ]G<پ@y{񕹫5yn7:(B\eɏ&#̙IELMR2=ŀzl"*27lae1vxĜKm#+hr@nl{+&5|3_gFˍc1 _autsqpw=-5YD)Zb}{fb) .pb&. LAUDs]_n/Tz[LRLQGA|V;]/%[K.d9M~Ǧ) ~T{ش>iUYsR7"#V7X۸8mرBS4>$vJexfe3TEtľK ix٭ٸ⛍Lʃ$S(xoV5`6{ 8ڡnSϳQqyH.nf6X%.Sh>qBKj5x.XR;95W Pf+%;Qz>hkhc;{Ƭ#R$waȗӴ`Oԏ@Lx.UeRPbD>ܤZNv 3D[ PN /? #b5!;FR |5Ȯnu["_܂>F9(ťKw ؕG`]άurq~}HܳctD,TjC۵9eLk{$|[Atb3O2cra$'T׽˭{C<,d%Ynh(fH"Y֨1P4n0m?:떧'݂]l M *z;&]:eJյOxgM8s7 F/I>Wq `Psr50oWP]zJ *rVCW`m$>22[(9/ōdiXsi)3u9N3\-K:zy 3ǐ8J(m0u?C[eGƲoұN>D9oɂtbiGSSjWa47;++uah=7;rw̭G76#1A|4~m>kO чČ4"axah^E$T ouHZ,p)]o/9+ݹ{5"dQʅ\j63?\9=UwFfes)3$`5[dZ[ [,|Ѐ4 5)aA{L,aPC5'NǍ 1~B ~ ݵ3侕4Pfvɺp c侕 6PYv7*L#@BiJ '!>3wP#%Qꟑ^ oR֯*)B]1 na5E%qfed)?Ά>W^t`\$Mka9m )Q+}V^!xysSɕx>6 [ZXwSvLB-K_v|5;zo;&<.L5~+W+4U~2>.ԧJ>Pazad?+ayze-Т#q%~~&V .Dd?71"^Tu;;ܵGk:ܙL"~  6pt-ӝ-9"OE+W1v_[DI-K