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 //B-|$| ] E_Transcendental:threads=2elapsed=134.704cpu=245.592gc=13.224factor=1.827zXZִF! ]ŗXf1-q恈\T,rBV$--O:1XlҿuzVv_[Ja Z lh"Ua=M5 6k]캡8V UMo)Ef-@r3|, ^:V/ƴ?.bFfq@'-Nņy<3fHpCۺDT~k}a4 JmpSo^#.L:=TA=0;3.VEJ*eѰ"&;OXsp%'ʂ%j!Ā/ePJIH |RKzEi3(8+/ՎwJ A‚!ui z+R>@UxI;ݴ?8AI Z6D.&;+8W5gxGr !E͙}DRWTYe Lx@9VRm+Xdy:ȴAފ9:3+f7>G%!?X[A-ٻ#.n&V׳>^rJ{BҥB00(y4r`xIEP6C\ZjHYeW%aw>DT2Ĥ)T%yG5+Bˆ :U-'Ij^+1GLΰER}5rYº.C,TU ܈h5P [pUGtxXLK-hQU01->*= hK oèXgͽc=hqG|F[T=Y854<s _VAVQTyI E#PϋoaEFaJ/hknJ9,Cm:lV8llvfԂ zp! VC n+vh9(9?;@ȶBNڷ(?,U|'3 ja)lS!^=*C$MX!R =*6n3j][C=qϵ1L ޑpx/mVgsLrĠ|5>aˡp%'0=BywodY Uֹjݼ2cOO/PJbJEu\; N[b#~>ʱ|nPDVUꄵ3ɠ+AMg=&u%kKV&A~\yB#j9*WPi׼M&$lE)qj*^Abj/ȳef @7A,y'(_JwZwgykQ`_ߋMtfer6<9b(\V$wry@v]5Z _ͣwhB A쮟SK3 !uNb16GK'["2<aYP<,$OC+p"XKU8UE,8ȒH$^՞?PZgfzN%*kv$`exZx\1FiME@^ODA)tի ]`"<34ue>BdCvL#ɺ(^qEP ;L;}Bkf>gpߙc*I( m{9OnxoY=Q#=h'\j:As!AO8\!g ?4C<+>]9&$ԦhLĵlci+ksR9iѻ'o\*T'}@ \b~v\w h]j~y)+AS%Ա'2Qc 8+#+ǯ jf #\ٌqSF ޓm"M/@tCGXVi\EAٕK=Wh.^ }$[[T.:eɒ"( M5׳4|uv{(%XȡQ(#Wvpm:WXrOM*7|N# V‹ĜSβk~ǢE,G;+az.= YILEʔƟ͊l띌 ocv8>nqAPD m%SAIu}k“Z_y쒑Ӄ0#Qsgml/=譑np^ QW9TP+}rC8EѼލJbH=> Z%+f\) }Ma?9p-I#5@W7xe= 7e^y: v,,],ЁEtM`M=#x;8CՇŁYV*|sHVܷ'r n6TmUa; Ag\z'AcMCH;s^cc(3B,`*xh9nu1`]ޟ;a/(5+(^*ΰ[,zkF - E_Transcendentalj~8f{. ek״%SB=0 ./UZaQknqM{gU4qQf'jH0 ~2 FGwĮx'gYZ7zXZִF! j]ŗXiɟ1`?#6⪄f]e߬vOu9Mqri W`}NX^ׇlG&!%rUC@K=f/CEze&'Pk2}1"ON=(h to#|TPbw: ;L8'F:0k6dq3mH}#6u&fF˖-`Aq,s qNb Cr~H9~⊰2N8d׾,G`D,; c '_1+s,a5uYswh+\ZpeT][P 5,';-H'6/k'#mxu=&0:{d%#LQqxIY&`PDy&1OEt0,N{5s-ɿ^1;>δ%DQ"qQ,֘yM~^pmS"׆x/O"yp::~L}D>uUh B˦7u\vW͵@O9| ݁$󸪿s=6tD!0>ۀP{XT_0s0M()[U P^}~ٰ(z[!ԮtoaEK)ku,}"gJa6B;!_$ƙ08ҀU;<*Ӳ0ܠz->pJ _ly3[YŻNERFL{,a%J[g@,q͙ib(q}BMM1$R>U9Ui?Qj05m f}ui.̲v7}S90K離|Di@ܓt0Bx}T]灈}i @\M~toQkORX"Aک95H#MztmH/CO1W|ϼփ?v %5vr3̇:;+$]1()3_ڟ^ d@*CXV{Urlu=*bB&jDS;jo q#rzxeOLqx¬9)gOrsqفuP{Pס4Y w(';4N\yyU}#QbS E,B[:4D7,Nڽʲ)3%:6b4fvdH8Q'+D;l'hEsܦ>j $/o>WyϷ#W/:5=lUz3U4fZ cA >խ %Ү`BkՀ$Uwq5t9!6NԈr7y\ a'Ĉa+SyQ~gQ)NNWDJR1O((}pxe q azb)^M^ܻr+i;?a$迬˝V" nK”̬3 wN.k&+Vu$ _G֧3[I',|Ir^]=d?}cX 41Nn*kU0S̕%c,=SsJǀ~L>gafF@= p[` "ߌFF$ijz#8`,> ޯo?LZ9=kJn 5SyD$/$fIR!e$rUo٦7ΜeՆuA-̜W1feH,y 9z΁vbGI3mfRDjy+S"m(8/? }y#!Ґ؇Z,bL%Nd0] ψ3!b^ۼXͯmUwWtJC-HaXY_5qnR`뗝S:81-ۥL/W%Cuj{;OEp-i,coCH 5ܣSa+( $ԎNX(VˇT''jaϲ5uG.v,KB,dq| %ڏ'm=[?O45C X%5|BL<ϧ8^1xZ|aӈc˱{Qƨ%Ɵ=u GjNeir^AɅ"h*G}853c '~ժR7Tnz٨eD/ 6Wlk,4YH<!x m{*izZf)y#t]-'kdv{b. >81V ^fu& !c\tTAc(_[;lO.}Q4܂ u5M{pA Kl%X|8+K[ik8}&و^PAx7]]d< 9{OB*ۯ;?! ~|E)Gm%%PU)a u2ը3Ln@itC߆6 R>ʛ2բT@wZ98׺nKCϦ1PrFS8*L]2ty+b&-MSFO+B>RETdlkepǓ͌DkuL~ J ?+}\+W:%>Xhp8ς'R,^nr X=IC1zQN:aQQ !B; H,O Ibte S -ü|GA ݖsg{shC+b& uU*my|*b߂\v; XE| W$%pۜ!AWL- I͑5^}NL&Wb;AGC75@NQE9fPjha.$vDf؆cAiCoa`>baRj>* 29D]X8(' &v0bJ&xe@ܯ3ſ۹wi?]Q'vlmo6qOnto--&V-\l~YN\#LwAFgf1=KrB?j6'ג⻟'],1۲"̬"7G$i0kM&: Ȋ~(=