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 @@5$t ] BDD:threads=2elapsed=73.123cpu=137.672gc=2.544factor=1.887zXZִF! EJ]ŗXf1-/6vRZj3ZX7f\{4= l딳@-0:%>K0/sjk n̥ 3M'tƻ_nq`d M<_\uk/+uJK)ջe,0}а(ُE^OE utl\,rՀ\Q}pXEx﷪nX#P5txص]s ?Q$iGI3< SIRۺeaGq'\6BbYzE@;=sx3uIf}0)^+Eex:\C(IvdXu{Z-RL.Ϳ*.%):q(`4cVN=@f@AĈ^TqpoN$2p:_bme ֿQwvwPSy@EjRQ `\BXd"W.J;ӯr)bZS=T3Z:`WXբ*푶Whnϖ_K58 9.qfPie2L Kw.qLCY:-1bAw<.Rm#OxoLgxAmofgN'L]uI~Ip;סX7y#2U:ǣ3@6X`Aͅ$]t[z!ʼLzZKwn9|nqE紲aE= h>0FJL{r6UIۯxg_9!܂\I*i /wU 8rJ}oit)E:3PE!̲9G!4x !3+!M01m5tLI"{bpRڟץm!b0EiGފA`|CJg)p0+aox0= mB(V3ir{7QGJ*'K5~|#ԍ ZZo͐4^Yʽlת &KS46R{آϹk†Z79kSw0@| P 6q e5}`ya3^N>w#n})| T gWj!C7 {NL+6`ԓ޻֩=>>>b{w-feȃ6`&=wASS9) I)y被`w  HLˢ%q<Ӆ/p-tܤK) 1#(ţYi8xu< gYZ7zXZִF! j,]ŗXi%6eD뭛o<FQV@/}j'Žn^P1GyX=b}+TD/#*e"6إRE{k㐃~|jz^peabLЯ.`v}H\ފ=w7+x'x <  BDD5`ÿ` G9@<Veed:j Lpj;`{^(TZKb2$2INЊ༎;M-$gLnA櫤[1/mY>r0 FZ , *7W2qtHMsNqOeٲ& ;LyS>800BW!jiw0C6(xCRL`v->ԣE 3]qD --p~ZNGɲXT5k> 0![%<ͽ|RMrZ撊95J~x;"9"y"$9;mDHZݗ |r"N?upOf2s-3 @$.譊P& K4 Xx0TʌvϢ%AYob>EZ G˶(6I[&ӽozCC$L^g1F娸Pldvr5,( 1aJk{2C'*CRX|4kqSi\J2=`Y2 ":}CANL9؏|a ̛ hAuu8J:ܿTqKe#5Pjzsf&(=ZDwyЫdSun<ݤT9]C쭕WCo@G#2+\, 1-]ۆlkeQpw)|T~_ tM]x%p,7x[#o:m06 kvj$prŻzך(>k}8U^]3vpd)/:(wJ/8QVR5 )ű2yLi}Y]tw%7YISb8p||ʼ5xx!'z-?FhOD=s;6Xn'lW=~k HK#JT$Ve61с["H]eLNE2a9 =@W2a67OA*vŶ`#ݵ, ,6p5-WT6\[[- ¼%҅?kVX{@z=Ͼ2Bu.t=?p]Ժ4BU:!L4T3M/:jJ-/@f簁`l54J-9݊ݔ-39E3#_A*ePkzm7(/&@Ūp_F`q+a譫 f!.v!v5QňPQ &Jt<5z П$ȎT!-ĩe;0L>$ɘ;FRs'ǔ7pgFXӵ ~FuWLGh0Lf^YKTs]ϑK*H;rUjvWJ4} eܷj0~|bȿD v? Oa -\SӇoy!3Wh4x=n{W,ۄ'`I/B[u;Nb &W7i- Ӈ56~x,m, ϻU$6;^- A.9 ]^5?U0?F7]o%@Uwoi 3n*p)ūI| )z/[ P@_AW9ii@$7J(q>rJ Tc .jCv gj}1Nd\MPYGI TSHIiQ)ՠWZ_$6"z;RFa@\32QUEt6/9=|$z7ir.-'veʘWφ w%ΏX r![(bjǼg{pz'p0$+K7\H LBN4lZ@ zβ^hխP >@ZR\vT߆`q9mWhF:~gyK^m\ R 7[&p.#\" n8ؙx}MGT'Uio QG3;o妻;gW’>K8>VWGNkڸ̹7؈4Kl.նHƓr3B6AmcM(›}&A xG^oReJ Q;dwF'6jm,EjpbG윬Hk[6[hpo?*YhL/H6.0. V{$20TV &f'g/Rm!Գk ~hD in:2g/Lga5#N>vtg>dM&$x$F/1R]M͎ ."WqGn .f a`aWB{M&ғ|.