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 ^^ D ;% pGCL:threads=2elapsed=36.641cpu=72.420gc=2.376factor=1.987zXZִF! 8Z]ŗXf1-/6vR]u6bk;_ؗjT>|={@R ❓U|8ߍWJcZVc{{}H>H|7ܴ mP`_[mvj9I!!no4p^F;C^bEzIz0]ـn6,/N}ၻZlYuTߋ<m!πLG).4s@hj<5#xԧk; _hߍ _&%o$nN3sՋT`oDNٿ۰o[ s%LGfL0?]U< tP*#f=gq;:+s\_cj{ J$3Y)o}d,'L7eO.UQ,[J;>=ֿfIEZ8#q}h t27PlPGr`Xb$kMΙTHUfZr.৐0iJ,\Kx}\ǎ?],kg J-rEjo!>6?eK}#669 m5Y2{lKGp\KZ Mc/1Kiel gl 9q$q[:TElpz`_(q,rheGg76 i-AO"NGv#y.~KH.f7}d{ɞS80V=M7q8YY&h >he3 #_I.r)ܖB~ݗ- |U1Pj0Y gxο ?*2P'8rPLfcہt.9&!_ihWBy 8/jb~"J^u`7LTH5rX!RF*ENBw lwdi5)$-3ʲԔH;؍Z~4[px~w! 9$@n7oVVN0ȫؘO]hFI:Y7^{-G8 `%L(|_/@5-If.EOS4K㍰v>azEERhD?Wr9EW1a@TA|XKI{7vSȣ:ߧ!PJv(%a|xS'~q54 gF$21HAZcR@(M_3j% qk֘ڂD L:u!;ϼY ݾ4 tk'V`hR^/#0շy?cz  pGCL<"5" ^ak6:*dj>WHUF?ɶ*EsY@3/vC(#tJRE =_T!ԧrukzR շ,I\ӂ:xYEgfo:wXg{ gw2[wI]s‡mR;lIq" Qh- Oyi ,nٗPpܯrmJ:*ooEvQ3mdTk]˹>=֧n@8 C\ H7r?Y=Z=}ᇐ)aЋtƛD P{_o]qBػW`&1\n0N8IiHb'<JA sɊi@-*})ߵ5%&|ns)s‹|ǩR)G { M-0S)MBbE1||8LvbfglGa327;b>)Ń*F( d57ېLC,z} IQڤڱ͓`(?J+.tNDRzO>ZY O@+x1׹,I^vt'58O q[?zKEU#ƾmXhg[CzWh awߎN,QN Jys>rN*T}\{;L-Ed& Z(= MؽCOP.ha`Z=c_xYd|bk,fv 4-e[y?'}6 :eHѢ;W&ϖ nW !a=MU͌ _yXYуaov9#%z+jPz\dJˍ[9U tf~kYGF6fR_Beǿ:Hb&P2%qA7ldaO]@ f b(l F'~ZJq"}2 XY4FB:]?&M v|vQ7oq@.H,|Hֽlm?򵗆0Pm j0/lAg?2ʟ-Vma =!bK컳[/UZK>||qayI;֓S!#C&4zC~vE>\_Vk`Ca|%y h(Adoֳ&- +$2P[ @s _E ~W%0QՆb0=9ҺvF f!׭^p@-G0 p扈S/SpJ+T'.܍X0f RQZʜx_}B^>md; =Vp((VsuAG)wr_ ro@2A7?5zb1߉u55aYe/dq7"ہԍ/e_}Ou :S.ZĎ2_usZBcv}F*4b hO:G]N Eo hP )|tS5'b@h*@G8]6 0E iciigޗcؠYl4ʖ2#VRvSMB/t(ҀwPy.QKۆ9XzOT`AC Z.{~Is|zt{ jaSαU ;ַ`eVpvUM pÑn\g  *UR6YZcO*dP4שcbٍtKW X:ކŒg=n Y٠L$HBG "y,Y~idmn[B;򔀥.{7eVQB]r~c,*lO쪡H[4SvHt63:(hK>sB&*{5@.ጐBv 3 l>rmFw)}xZuԍJHYh[w#2/5*eS" S jRK@u֪, O .%Rj[8 UTwPn>T>>+)mnu~6?]B0JNՇ"= ~@&j60m^5WO'%j&w /go ;/D!ٽZ=vLjQLEe -޹> i-.ob'/6ْ\S;O~a(/ x?ۊm3*P|x ̹l')kձ0PJ%H^WUE#8(Ϭ/xm~T+?AީBmDW)`I_Jrvl[.ԁf_P~I4oh|ڤU^2 D' Δ  M>|ڍEr\g>]M%|f㑹vK\se=6%h.(:6P&\G7m-? BTޤYw &́-6n@ǡ"uU[|f*FK``j822ʥq4 N_,I]^ZeV]y?-[(1*=I3oN>h$,IZXSDy+x u Tc6%mtB7| K9|qoxɅYiyl~qB'8sQq+V|[iurx)"P)Ȭ vblΨ4ˊN"()f~{xýjנԺ@}\}Flwv#<YQY^N]{&ocu`Ѡ7֭q/̪~ p&iO yߌr /no}AVũUt ;X.vùo :=] ً7F\߱M![+줛p2'.|ҔN U)f"4!9vxTde8E;aDj'I YK鰝Q:ZVI /j!ԏƑdw;YjQ2jr"J$g{ -vp{bwtI/Xճ0P>CC#6 ǭt|oDAt_:NxxT_0nhWN1A{@ X`~Kϗ8c*fXwg厣,Ъ<A1$btajcjd^?h[6'7EFW=gM 2Bh]!AԦ} *-Z9mI!.V录hh*\B<ʬ|*αB#4R;ԖZd$j6oS-d*GslP'|- msXY C)A WF4z: ^oȩ""(+Se@RoZ7<] F~_7޻R>myS;P_ދh_J>Fİz0 ?2A~Op0?snہ1|G) D6M!sќzANhaR0V?fC-*#47S3tr4qֵCt'>\~jѽ^O! yYw u}y;w|vx7sN0j53W/k6J\v데6CCU>Z'5R!(#Q<~`̸6x.;(vZb C:kf󿒜?-~2ChbXE[O"vO:ߩ +^{ onTP@ܑӠFp5 \,]ne6G4.3 |1UJ u=ߝ ?iDĺ % L5ei0Q \*FS(;58+kٷT@9FXC|jsJolz7Nwq+5 J[#睺>p, Xrdž5%XZ\N FN # t$XꓕZ # "}w%sIM=K+vۂgYZ0bdddfb20b3e3545c9b9441084db519302d94dfb 0e5baa370de4782e7af932295a9f002a78bcdc31 1540a81f7dd4147898b3d2926c4bd447083d59af 1ad9c9bccc1dc66316f0d6b7060bd6fa4b533654 39bb6cae4dd4de1eedc666f2354cdb04d6b343a2 456488d68ee9a67bb998f29e90689c293dfbe922 4daf2a7a78cf5c04b805eb7f5c19170f6ce6cda9 4f42905dc9d119c8efe281696faa219e5e7bdc5e 55cd8b098cb2e43e139e34758634a4fece59f9c8 612de86945a5fff11b91d2418cc5649efa8f80d5 7ebbb5d99f9439d08784f3c772701380f386264a 87c5e7d9d46fbc73922940f697d0c2e5c1391215 9197b24aec0efe7dc1ab5442b83bf440168f02e3 936759caceaa7552551ea4b16845bcad8ea573fd 9e869554e6081060ef6246443e69d02c6633d786 a6186a2314fc46373e5cab6b4dd381c33d7058dd aad4331357ee3ed9012623b48b7446cf62914eaf b27b2f2e38941acd77b9495a025b3ad00505da07 ba408a9023544d2f9d88eaf7f446ef69a174bc9e bdd3727f9aee9c34e82eede82ec9bd573befee02 c1e117b004c05bf9eeabd583364d41446986dfed d0d78c9e37455a89d3ce23e30332d3762cfaca8d e29ac340a2bed9e08eddc7fa678d855b97d3af86 fb02b943c1b40262ee5d451f33fc693a449db4e19711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4 a1d4e989ad1a700e9d30ddaf5afc0202077fceef 081e2ea43e234aae88c54c36bdea8492ada09aff 000c31cfe79f77e59785b0781aea8cbf500999b8