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 v-,4 I/ No_FTL_observers:threads=2elapsed=225.587cpu=261.116gc=5.864factor=1.167zXZִF! .f]ŗXf1-/6vR[x:Y΍s8?ƊeTK(DK-&bD`i>8k%xdDZ帔P). &8AXas$"wAի -EO88ޓCNDq$W),NPYC*<(!1{\[J3o:MupF'`oMSӂA)c6nV!{,6 =d2͡(?M/70heo "=JaP6/T2G[b^mqfLKA>1S{zN2#ҕP"|rD]ŘS4jGMFh6Rgt7tJGw \Rǥ'&*$>4_BO(ZOP(S] ʪc00p?$ѿU(W+:;#f` |9y;߁Ov~t/"$]"7:X<, y X ~J3oǕgm9Yy$}?2Kd2TCVNmZB<7o!U4G 8lu^ $Z4[A9\(PlixOa.Cz3B;F57m.祱Ȅ+KQ_{  4;(ֱWEtŌK䌹RERL⸠ܲ2u.a?A /T gMKFʖp@e|QxqB6e[@ԝ T{|)='rz8ŕP,.adudnu:Ꞅ Z+밨DTJ: S#FY=%r˲ȶ8vc&J⍪TP0aeYw w+%h.\ CﲹM5w O Sl]\egYZ7zXZִF! )~&]ŗXi%6{?vv?`mf &S^%4hF8+=)a{͜uTydŀV4?1s -Yi=ۘn?4Ͱ P;=/t?cT_UPA>Sm !Xk8O?t=pD hY@߄FbK,)@eǑmxG~3Lxq6O:ljj\z?ZP тC6(V%8ɽCw_!3GdzҶX@w.c8qYqʀ\@e<(p[g~vIE-a`0Q3\PXz~\ 0JUW}6r)aFi+#Pq'؅%݋?ZR9bx#tbv,4} "ٲ{Ljj ~W+"NK 0'y>. ']d-i =Tm~DZ+ pAJ77ڐBrv6:(uț<"yUЬMቨE 4Cilgv$rh&H|閜S&Ոsؖ`M-D!ؘ͢F_DbXEH|=a J=]&[CӼE9N?ulYˑe7թ4 eCe 'tғ[:΀C'^`3ZF46Pd+(J Jp/_֏.wvSHP7Vh.å)uP1)WLu^ŢqSbӔğco"~ch熌N ]jh^]@rf2 h)G:`ͼ߬Za㻳zG0j[nnxRPC?Oޝez1_j%F@dҞ3M@} 01X+=޲9j|KyImײΘ+g<5hWA{V螦I>m;S]LitVd TN _m5αeoXaվN:i|]zR4we8\aOUj!MúdTwkO - No_FTL_observers&Fn;),Dn0~.lp}EbNke ?Gڴd@0c+,{$S{j#0XwןO~"l0"'y)4$O'iBxrrqs SrWj6VkZd^.s{PK>P.ݷ=6k$֍+jII^WL#fHBQ'qyu]")l4F!Kkoe(Hdnb1u%6LخY(&xKal{>yN"'N-<2|mYԲ`[J2j 8~2`9 v^-%D*T~-ɎgYtE~ǡ]'i$ VÉ*}.XwiEP?À~"j2]erܑn{휯0۱x/PrpCV+$fnɯ^ۨkszё?oZ @b7\}-t7?Z,fOEQ{&=_?{λ&;Ȭpa91YE{lM1}6/54#YZtH;yxIVs} Q*,%~cxGm'LTF+zq g ɏ.:߲.d sFtcE>rkFC[ª& :\Mۼ,S:NfG6U{erO%;-gb2R VmtQ>]2lgާ=EIMo><ȧ_N07TyT^ {J2פ,p?x%A,K;TBZ+ q D*YÈ7dBN]Z|E|kHWk}(wqѓc)\GY۾g}֯x Gw.2IG;jva zWuHԊ7nPi݈#/O4wC Bm 7B 0@bKzQz\⁾lokqb=rd>|Vu8QTӣg5H2X4!L^snlBě=:Q{K0F ƆFX[<Gvr#OC_Atۤ&~m*.5ʂ} u\*x +e bw3>5cf-u#TZjC]a l9<W:=ÊJnmRЕ9/Ø  e8\V{&RɨϦҔ2PE1Wc@(Iv01塨faZ,3=-Ʒ_s'"'AN;=tgs~?URE )*Q캀4SVՋqcqN #kEA' q,ȁ^D^b#EEViqQv$Zϲ-0LTX X 7Jw461t ! ZбNS.EG엒bb̠ζ=Koh `EJ%og?kPܫf}"DXX(!tw0iݓﲳ`J :;b6S]I6qsSM&C4yqi<+.I, ,9M͝ps#Yu/bM~feLq\꼑\zB͋k##k1bQ4̫4_)ROߋծZ[N~k"bf꙼ _4? he`oO,0}` f dU$ =KTs+2360etfmT1; Uo:oOC#h[8Lg9VD2Q5^T!pHH 5>#S/s&oiaI٬H8Ԯ&׸3՝fZ-ZҚ[ [Jktxўlbc~r˒tJ`+QW!o-γ"BVLj(q}ϹA9 CyTGC+'~ʼfFVȈ;X cݟ}䵏ن&ត0-7(C5m]6^;8s C4Ca 6N1N{+3JdhɌ*"ı?H_D(>SPE݌fz嶎{Ʒf%9ѦVcD/a}ڡz~Qs&9;?aͰ.cJC~3aJ {sEҋ:fn% T#wW i9AJ8 a,XC7&mYf--shE^ 5ؔLV!<~$p~"rW=;o_~ٔ>W$,hT 7i-޺b/"ImXzD00^^zr@fwAPL9fdGZuUl2Qi]2V'y$hU w]v9md)cI)#DS 2Eձ9%}p"~yYe9X48K吷|yQIb聅od<@*OdaIEYs|(9Y|17CZX*JpyKVdѤ]l^} 5*FzF٧7oI +m$_8F#Xͣ DEL)p 1Ư7C=>0^J񮽴rwO# l3u|b^%Ʈ3tⷛs hs/нt BuhQmٱS~ |7ٞד^2PmRE?>S.bWB&1ˏ4@SFJ|+}c۱7OmҒI(;8R?^c?4)H%~/t%<ℜpliJjEN^zWl ϔf匵f:ӡ/t,Uݗ ko8eQVMn7}:vlj|@ry3sԈ [)aP˵![,Y۾G BCg,:KYɝ'YS!n_ϏeK1 _i K Is \ħ2Q6+m݄<5Iqqqjzbz4)KM>|xe"rYm96j*ʆX%RxXQ*&sL֟f^m(w1V`7h QBd% ABqsy9}O? ;U+Nj (^J`iwN`ұ K\nx!,#)3 w-2O"iIo9| $2]F-,Gc~䍚Hᦙvݲ\PN^sv%-A^F(yxq$&gcxj+XLJJa鬃3(# y R HD+eҵbn,خV ˦ϨH7k&'.Oh]Azy@ҍYxfT(,9=??\=lZ)}CuAiK_4W?KߠgZUft>4[CڕL⢜H&X~Ub(^/U2F[;*3 5c@_ז&.|vI#[0&a7!; ޔWHI-/ٳNHVEpojsZ;~h-;D;L#h`h_7DmR%hL "<[2E }28;{مs=zz9<qs u6 Woޥ<Q Q"]w_ o|Xs~0#u 78 gvvtjK|wGAwovh%p*){`O8ϝIDqD/#tPwݴ.ҦI7nuAp|CP­V(&n{ohڽ G?*x`0QDYU1dNњ_wq)ʥD\#1QHP~M-&>l p^RLKh5>08`ۭ1*`M*f;ܛq)qB"} @<_jˑ]Eg9bK.oXCiEwC_Նg=EU iSrzz:D^aRN5 iU5c뀉GՁCrfWJܪ/a (9j8K!DEzN=+X@ 9)j=@$fR%MKiriYV4%7 847 kÅUWGV;l)wwIxYz=%c#DIѼkȪ?Q^1+|l+_0MZWE &LJI}^e`O+t^h*U4m>IX_}^m*vGN8z >[)s-(Q!> \0ʅvѶ #ׁT=FfӤ H$`h@%[o$o=g'G*d1M4 hm:?H~8Xf.aMiGʰu H 9éCӗ_5\#DPipy]PVM@"| 4Ʉ:EQl]y]jBIq?uJ 霗tE?ܧ˅kE^L/SIiţ Ns1A-= 0'l+\R0f[ݶ%*-cؽIwT =>*XeP㨲R,)^}0 '6v FD,Q+/]U0ZMƀ+h7oE,D_>Xw=sdUZi \ )RbPRBZsy锷B^4Rugci>M|02̽yO:s 2o\L}aU; W "[e5w2oJ-%s'ڸ43183':v hϖc_ɷ#%3 e NIRa  !ŗf{SOƿ 4IО r7'lq$Y\lP2ۜVcѕhcTJmN>ng RUi\aܭ#XȪGjT@K7i`{Y9"H'?b}y ^o[hL32\u :l8aEs ȯ[#B$Ĕ䖃zBSc5' (0֔YqwD l;ѧF~OnX1љ9N+x`螖@(Py"uLMBرKRn`o,dQ2l9a㎆ɋUG_u/<;Xi)Dgp,KZYAڒ! e/m3#nI<_ᖊ"9)nᣥH:}!_ N8&:lp"2 ЧmOڽhWMja-$ CФDct'Jw=7cy-RQ~AFֽ҃$9T}/a<{Hu-syѼ v :MAoļ<}4(Փja\bDd'H`uhuޠp[Utڤs.j hq!\Y@-d](q16sUh}^eVrp7߯ztgFʈ&h‘|LO>0E4|P=P2'.0 |k._dG~6'_0)e@!}m ~a|6gT^ PӔ#>\*_zuE <ޛ:鮇:Zqah3E;~nV$mz?>|gPQNP_͆͞ .RB'Gp3*HO371Rd[vRpZŤ,0-/X.nJe=:j8гw2dD>6A,e" ϳbѫ$r'CQ79A>^vs؋`GP AKۜj?o}t׽H3|uŌ ר 3m}w;i&OXw4&Wa!yH!Ŀ G_bFP#ae&Bw2 Nt`RşE4Z 0K6MZnC ?/ѥ*'3Q}G+ۊZ],MBp]W6+stLȣ1B-dW(tAw9H >