SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 u) \< I/]Stone_Algebras:threads=2elapsed=54.886cpu=90.100gc=2.760factor=1.647zXZִF! e]ŗXf1-/6vR[]oSaS3EU(;aQYq^.HTYdţN^}g +L B|'W;u,FVTP/ZQߑ"?IW҅6ٛ!]c[n;ΒˉnctY29' d=KR@L lĨ]Nڇ%c&1s=Mm8;#]kzE)ZDov]F 7T /W_[ T `)f:RG֦{ aRKl2D[$SWT+;C2]WdLi]Ri[z~UeYAgGS< =!G*.q6Rd|ANޗj2{?LN&S!_!^J";?mXG${0ld#6-tFI}ԅ^vF8{ @ӓPzY>ו"9ǖzmS`{w)z$U(2@ )s*imEb/OtZu}Si i@6U Fw嶎JM0WtGnb ZiF傊9VH܊=fc9N<ݲ'" (DGނ,T7H'L*65 F18)jY^?xj 0.&07،UIU@ F1I}_ol.f"^qa}Y{Ts!iػ@ )?cd%,Vz$|42>H\CXcr5} udlBl ʿ[qR0Df׏t;.NXN K;&3ŗ Zp4tPUWvc&-$qsÁ3"a{m,ip?vn5P1Gi02gO(Nmb5; J]&;gprZVZSĹ[~0lZM͈.kk[.޳H+[6&$-%.TXe6|*%y5@ƚ0Nmt [禾 m=6`}h1W}u%zs `^b7=,ϴn!keQB!xbBo(G܆*|]Kk G%XZ&QTBG"+q$_tJTTHA6O7@ڑ§8䷒/QV!2/mY~r%+4| Ѫx`"&/|6j!MGlڌVMDG}Hs[%;sH ^{l[DMf VwE|؟tծ958`Kh}*φf%eVAO\jEVo8_UH+%8_n5L b9O,VA͂A=?/>}=’#VLv;ddx{;>Fi3ouv[w+*r9ʨ!1zh){@Q/"[cNEϪxCQI+}_1?>Ӈ[%M97u umYsv<QEp5 5 ,A~9gŸuK^_7}!PvI]zo7bCoتGd|p{,7u7^媤wʘ 8_{,ayV F|}E=6d1u}4!yb[{ƯPY$O1ᡬ@Spq2j?Er¬C [eNG̔{P.ޮ+_ѳ1 9<ɓpiIi=^%4u[5;AWݠ7uH,ƨ9J¬^A^o^/ /3Lط[8K2؟&^釾.bfNCB %U,bKs0H&e6(",Ϩj1OK|dl׿rZqpEo{oZ4/Bxnnp&A?s ,=hvӄbhقᾜ{LzN>%%aۆӈP;N.eIӷdTb!PMǔ3&Qo}VcXMo1 VF&e=#ߖ([k LUxe~PBPcWl:Mi_NIqم5Ira&Ņ]W+NQwbvdp3!X,Nt,x o@+W+y5btr،X"i0d qc$|װ U"uCdK : Jg`_YF:qT=d\71^>$(K񙈰p|AiӦ4,EW)`\a$bss82@^dbsYTGnt\Ҫ("2ܭq@zqI:' xb©:`_ҩ AL*ҷVRKeMMFh^"90v.܈Eì Q3w%{zֶITCӴ!`QA[ '0328ՒL(XP`~4pu`m#t16M]舄`mQQu'YqҰ-2!;v0m^er$jv&UBEME$iH]Uʡ(?.JT3\!d@@>N-h }W.̎x.In ) Stone_Algebras=pXVg%+TB6뉅#VYssU!u mmP+w0p)x)V{q\ *&T_m|589Q*Q1E tK+d_(saM(|];JLE gڰx's gAjL0{TpxV/8_048C*%oFhKj`Xl7ҩ3Ǜ< _k^Ъ_$S@E|8!UH݅`Wi Dp2.{O2[7#l=xs8D>S||lo"I9OZeB@dpS5!+gYZ7zXZִF!  ]ŗXi%6juL˔PbΌG7hV&+ZDS~J )VEQŬw>^hqT6OEyZѐ\?DA\" jSZswAgC..ܜ^ӯ^Q kwKB@氚~90c:KTqiACCuɭQ{hqsUVn4W(wkKj!FcO1zd6:5hi!,q0e%ј3F)jw&,`M|[ÌI~! Dd͙J_#C4CfZ6w1Ucp0Yj08XC7P>F5vBɅkrlӷAx!z*ә*] _JJ(DK! ϋ˻k]${TH}6}6!~(; VU1_9GK-$r+%m"T8Z5eOr8n^d^d}A#Ԣ8hXb7-KkSNL*Xr97}q:;,_ʻKMm^59K9;{o"¿(Txs OL*G }RtMyJ45O oB: ,]#|GȺWGpߩd6%dp&-iUK=,r0( (ORUcF׆0N|bBGlaD _9r9rD; 䫈<A// G cVQsjs<9tR)%k{2PfϨvauEѳV$8y6й45=_%ϮimXuH'n+CC{UDM:=Y {;4#. gu14wEEI(QQ7HCٱDL9z`3nEo )F@GNETˣ}wDXaMޥmW,۶>9i*ܙ'Ne/ӿڻc!Op][)#m!Y-^3=6)1'—cWD:=N[LtkfNRR8u>Z:ִ$ߩseZI.t'I9=B& S A 灯JF\`9lq@)E? T~?q=I[ r+A1Q7T6|sck8F%f)\#CkRɁQOHcBt[HRRhjg+AV~ϻ~oY3UFWMxdaYp^F"K`Q&#a(Zh# ax8HEI納ͨ lo<D10j 0haAꖄDllJʯ@DEyBزxkXr9l-.$Nn@nl *#҅L>(5C,F/vE+8_u ϙ0eF>f2sPB=kP\_McohcTQ`T+N $w.&, MYI\=_ 5X#-Vs_O(btu\wbwe VngYZ1468e48b8cd656ee8a0f15090fb881e3932ef610 2401bbe8b9942d12551f3d6ccf8eec9cd61898ca 37b10171a7b8848737666d13efd2fb36860de921 48d9eba8bd5553c0053985fef09510164793e757 919b5021253870e67893f6f78d6df8a22a86e487 c3a04239d8a181cfae561485bff71442fb40d565 ce9d247713168595ec46d4a55e36828823fdc26cdb7c23777632c9a5808e846c4c293183c8f78938 d902304df1792a9edf11f13fc29f7daff49f32599ea305cccc0bda02307a7ca5cd77a6daa9a9d04b