SQLite format 3@ . BBh77otableisabelle_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  7TT$ ] HOL-Datatype_Examples:threads=2elapsed=153.775cpu=278.636gc=34.304factor=1.817zXZִF! N]ŗXf1-q恈&!&ʁ+8Q!f0&lnµ !M@T7$%@5NY#M*=QsW+^7z1/gfre"}\ߴ ,A[rb{`e*">YQҶJGaVZit*̙Im}8-W!BDǓ*3h:N̠-= >uw2u0]|Osp߱3ӹzFUpXNjGR.QQr ͹{pW2{Ûhs_^k AU[Y_ִi^4A^P6wInh:jJJ7WP#N&I{@h?>$嬗;kND.cL_8Qeqބt>5_!>ڪ!ѧT~T DF%ӗQG>, #?؝[(ްT-q Kf CppI=dmJ7zܳl[s zLfR.k ͆J G.A7=,'_:J;dի[i%-c&ig*0u2bH :]gZp-PmEPk4% kt_Zu4fcޔ݄y!q2'_g {pҢ+67Zi W%M$P<= 5FAh8J1 9.J/x|zȎm:o x+u|i<WLNYiw[=IK8hE}&Y/I}F`UN۲K"zEsߦۖ"B_Hl߆ tn/ }k lYv3i}8jI23u 3 y&Ujzn T8{h7-op|TzDyDoR6s/ua5.H3HAXSsHoVC x|ůu~hw4)fr{pnU|wi6kF "/erwv͘jD4N {>8jwv"Hj9 T{̑>|'9߭`P8a, 21,wB Wi-vM`/pY!x+f=kt5&KN;/5(J$q|v0f+yV#)piR lLeW):S"*Mvl˭˃]]݌:k<¤ᶁ#I1R[ D Ɓ AI.:ҩ2~/?0U>ek@?W(=JKadm3$qKKC ~ZQQ}jfq)p.aV S  gYZ7zXZִF! ]ŗXiɟ1)*uԚ@e^cKƩ TZcPlŤ:7QƝiqN9}W ЪZ(Ek$!T1̨7%F,us4%ޛ0ܵ) W.s Ү~.RIɭ.kU7եbvȖt r ԊGCq̈H|ѻy\ =""5̩j)z:{aw͉].!8WvV#*>p1mYʻŽ*2V 9fXtW G3 F/ o_8uC/%ieƯOb);D@[2tJe٧'Fxo[W3?hW.7x>kk'o0_|,;8^N $p:gYZ7zXZִF! ]ŗXi%;i5섇,V!GIĒ ӟ@ {w L>tK]iC޹Xf h STM+VbwhH)PX&lIw0ףPUKP[nqyP&άzFaZ9A'9!\(.yaaUg?n?x_8}D%:nw,cɂE:,M9 X!Tz%oHP2FHRc;Z I ')  KKbeԟNHTzP$%6 3 dB{-]'$mR?w5V$ &KjWpb!I?ze! uKB2vly-/Yp Gi *`%&bܢG:zѱe@~p8Ҝ5>VzF6r3G]F#S+_tO=7$)„9ضb#ԀSth/19b=3D\+$+6gלmNe]yQ>GON@ ,˗RٝTC7m8>n* e~!B[t=NiN{8\kug8e5eА\@No>Avpf2!_U.wj2W`eiqSMvF1bU:fXJ06+'X62·2%}\=~ 8B|QxzkɇR <'.ڞ*ރ39lVnj:HE_f >+ARDlx9*V(Mw0ԧ=3I ln)${ u+D32v]y~aiZe w`tV"_DtFDwtujӁM(풞Z_ %2 EDq2ӎN4$|@GKjGuʢrD:38ɭ8i֜#*a9*Lj5d*Je2ZlKmf/Ě@y9ʃbSpɒ8XXԳ^eM(5uf3MY*2AK y4hﴩd͐}d݉꪿xI/a [҉[]ER}7lo1g6c+ڱWWaNJӅ./So'iih̗w髸dA"DLKm;r\a(lf[+7p7ve ucsr.7vF` tk\3@GD}範|H-c=q}kR a1 Bŕ!_gETl݊`d$W^ 4(sGĦ 1E;U:çB̺'bubˆֵ F}ۓMw{=8w 2E~@4bx!# .b.]x|9S',B{ ƪ%kȪÓWӎ ܖ̀V\1)}ߐ,$~l pv)@T4=SDᛅqFE∙bƜs4s++1Gĵ?W3|!,T@vpuK 9V-j+sCw^G"MVG6nLP"UPKq\/gك@ VOmY'IM &UO' 0M YVSc ̂!=yT *'<7d/K*@JEVHyW1Eޑ|]Mo*q'Babj71q=w++0>VS@pL.<@]:1iDtK҃Yy3nxz'XաRŐ_0#J}e7q!;Y>h Դpk<==]6-+r9X64wxܬ-^}㿻鋿m;U-nE^W9^6Y iYz36w{p6ßOMpz8HaLr)84 ߒpUL?˾{89d{/Mw>.tLA׏u'=W RdoVTJUtВ>ǮIe*w~0m1)[{k#bj~w9D̀-s;B5ꎗ1cvYnlG~F 3`<_[,^ s 2F`+v^1Бh'4wVhP 6/19OW$=綬q_7rzŠ^îWm69h׮M˽7uAccp5kG'v^15|vZy_$02-eP![ɀ3}B.Hd[cJU<9wN;W'DaZ0o%O6g Dm\h&(܁n}H-{vügL' \wPEQ]^]9Bct5? m# t{FlvA5֣um*Nh[Ό@͵@2 i^"&;Bkn<ɰ T:y!ju 6E07zT0Οf+JmZ**etS.Am2^(FIc_oyXőNv^鏛.2zs>VpY2pIev c|,všƳB|fULORu.-P['/4ODĦjP)#-٬)X%oU+٠z;}y/8‘r%Nsv|ҚɰtCj*|UsvnT}$IbQVg(gxPvW<^DSE/]֩s?/ _iV,ڶ^;32;'evi,;!wU#ae#ݤH)^ibt1sO|z{)h`Fާj7v%oC!^)xu (ND%;fƥ < Ĥu&+.QaPs -)iiÚmmQWm^ȿiHN@uNGci6瀿ᚦT/mDW!_˳s+a G}&ݷ_ XLt4ĮP|g/͡ S~/X323 NKjI_}6|_V1]֌+SSgT8\g5Jo2+nA']m}*}kV k"O&-ũ 1==\QI)o peβ+êBLl|l{a^4Xn.ݚ8OMO^n9t@AV#ugWݧOQc XQ\]‡;"fpl[z+hvo1,A14H5vG)pt#O]92$G. υ;d&/ɍCz< B70L-V;F*qg$[C# uQltoD0<]ۄM-1&t՞UhPrJ+mY/ y=b+OC't:&$II R(r(R3n΅!K脗ZԈab`RL!i_%to×.pr%uLs=<{O9 &^VY67)nNͥn`)Ct2H%7s474Kugy".CcVi3qZ e@5ug,"kkhbr0L")9T\VUʀVAv؍P@"V/|92%tSe$Ye#(A:N;8RYFjFmf졫HbjsT-ppyC)>TOcٮIq8<2vb*ѴNhM@!t鹼ȃ0d7 #ʄar1t xwWfM?|hS_b}⡭`|,^|~zFfSj T]e[CJ5c7Lթ:BrrznAt)v`/J?vcE"RFT:[]ϔ ]<>:|"C6a]V=cpEמ)KG OjR#_|ER.Aa@tqTӄRT襮Pjx-a?VTVԅ즹, ~`jKRGtn0]-%I1 NغoY@uH6@q?H22ٷ U`nЏZia;$&ؐ 'j\!H?L:+6"xsZHـ/+DPLQ3+jvkc/4p:, 77֤~S,`V"޸jM VȆBue:E9-Y4};@=/O U ēIL3[")N<[|nsfƥ (:?6;&.օʣ۝/xe=?.y32 lLZ%d:[aٸ^W4XBxўF9=95~e=;Tv3Z u:&j&N7SA편s 9ޭ1o0KK C8Rǹlwiڥ/594EߓN"=HO`v%aڲ6~V1?zį`ע3$h3/Ob9| ?0(Um @}f A䊌hM\o0=HLwqS8|w[샵'ƟVװD( Mk(/WuLNח ?Ql;5.DI*=%Y.f3W\ t:%!M3æ@m{U"t[ Y1%q1BC˗ޱ -:ݸXR*!D#?E0)~uQ$5]{"gr9 t'GkOľjSqxvz?!:.rҪ<&2 ngt zYK]H.IQ1 v;nƏAbҀ'&ZHp|գ#:"_7Bw2daATOC> *n1Fd?=ޠN \NU6CyB6CXqH4唗M={C᧸{숣Sfɹ|T$C=ɉ}xo^@卤v$xr `e>DcR Z Ss)=sGޢN 8.v315r/i LT$-Le^`ȴs͜ز^2 ]ź¯#n'LCD$氬y˹Q:_([J–U_{+-4Dγkr׿/ e)LT4M`޺2:X.h)h)B@4QWm%/'4cg^0EP(nP|J7.ab5)׎ W7Ni/v'}Y%cF vRX@f'%z`V97^_IdaLN=ऱL")9("y &__(:>M Hlp#x_ "sC:EcUiv'R>hp3ԣȓК{0GJ%o~Dl"e 5O:)}5)#} ՞ao _ X@O{u8j ?>M5S?u3ݱ&>}g!M%-9;ұÓ(bX0a]HYc'y 7e)ha '_[ħD_?6wOK_ N<vL+ڊ `]%0'<['n<ۖš"=7߮j)os~::;7u!RQld01872a!P [,IARFGRbdy7q Kشk< `|%~\ӥ8WCII8WU +'y*p4ElMgaOt0ǣ$@eȳ"jУf_2E#'+\ W7w?[ZՅ@L!4ɫF/UeB5!Y{TX5Nz*' n dȭde!BHtup䲉gǮ13&P8.2B릓 Gp> j =ǏkM J