SQLite format 3@  - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info SS ' , O/]HOL-Cardinals:threads=2elapsed=23.392cpu=44.232gc=1.720factor=1.897zXZִF! @]ŗXf1-q恈<-¡$jo ' HOL-CardinalshkX2I):6{Ohq\“g:'ϰD8(KgfHȚIf5WHhS(/ Gfʭ ǐD4RDԬ7=mEB7^lEihC7=)1ߏ V8~汫. H1l+#[sxF%wax %Į:_~RjUeO-Ap8BHT.Jh*駨g͒vw豆ŵ-4nL+ m[9BPܖj3IMoP>t|Ey9ԸC5 "i\7B} (?\qÐu./G8|_~me1^|@nJ!1|Vr/c#AB$'J}Z#1Λh? M`kM3ݨ=%<]PwkUݼ6y,[ [pEL&4&QP{JB׹ smF1,lUcl4 G(ftmHt#"?/]ϬE)Fku- RYӞ(‹H;ZPԾzZ'-lZ ӿgld>LÏ!oZnZv^-/'vDX,NtQJUVťj'=Ȉ~CQU &N`̳$$(m&ݓ5+c#ӫ؀1DTW7}][+v]x~j(0%6n~RuK[LR׌0<>LpL־o:۴( FVZMICCnˬhz(Qu7? }}cN#}70=O P]`]^-ס5=rA'Wkﲾ:x? c]>Lɏ@mdt 52ߌӢH\ڢS_jUE 23 s|;iC)j}j b)4e@5!q~~ki=z(f߃{99җ>gw*Axb*h~c!T5ykGD U| dzw0ViUMG=dO5THqx*Ap0WV5(I?~^ߧX. fZ=ĺef!Sٿ*3J;8Xʦ2_ 8I{dOKB# T̔z*k`nF~ @_{˵aͩQ 01K"-߻enf{w*Fc32kONAvx/pMQEeMpDx3#KSA6L!Q4Zdb(ת5Uê)V|E0Bq!H-rv>KTDŽ_>31ZsS6Ak["xH$?`ZC 0Pͺb]$Cmk:@tQכP?}Jc4h|{>q;s1"8MOE>gRS}erR!JYNKH`"@(RGz=c.]pFgcZCdJPܰ!y*4ߖ'(,Py$ZHjhjVhKWmDh#Y6x#mj4ٓ|es& HߐMF߾e0ޅJt{ )qdA< K *(: qzo \M݅nf%J-?(DG쩆JSp#\sW!ev.|J t7X%ڭŀFE5]@ѩ࿯f7V1FiI6hiB7FH~I^OO:c03Z <(HnA'vHu:$o5|b@6pBo?H$Btu#&pC$FQl7[f_g" S!_4%]pY8]\|sǧZ(x1L(3!<Cde?[8hؽ1&#fŎFȃ7Hn3k"gWzOPIݪIFbeΌuIv (3s d.}(1*ǻ&Ig BBu̫fVXj%L@Ro2ՕK&T\Qh2 ɬ>4kAÍ.w/s>?gh-$r &˟%T7j'| 3*E"EٜcYC?1eY'I5I%e]3t  7q37(CN)Ә0 s"':RMs#;*sz2myd x.쑊22f d[ Qk~X]VɳSD;XriާMBJ,X")`=8WQ+sObB+ާ hR灖1j:lH O'0q&|3E} !6aWݱ8]^!R =$ +fՃ 8E㵻vyuSkO%muªEIjjLf5I'#pNñ.i*vY1PSCN״tSJsw%ZpeOܮ?@Zfv&VOn3 hs.aGaxz=Z: d vrI .H~1ُ _Ffɕ^I s;QZѺ_ƏESЪ^ͷcQ65nan۲)1f9 ^BYbRJDy#j*y5=->*)KM=©m8p{T)aɞjY'G=𺏜@Y, c$-=iJ> 'LkkѸ\[Lq&>BpЭ3cS & @~|j Sx/1wnw) `-:JoetnV#P/xdƐt|gϳ:jǦ ^$+]:<8 I"Ч'ۧ@ }HyuZ[$X=Q!tر"[%zL} #\gYZ7zXZִF! lS]ŗXi%aj?R)õ8!1JJɄN,gQY7õPR$1&hǒ3[QHrKƿitinHYa4xE\܄5#.z$dQތi`:jfsJv{S ,6GE. !};QG>F%F`Qhm3ݎn0W4qQֆ-DTnZ ӎ0$aN= "!LVP]GG3P%i2ammK $Sa!f:u̗j&Mז V[!5N G<*z {8@ԕߧFI&qHQ["FM%;M)>!4[DXhmqG{aE[[uFL!mVqm^ /4*iN?j¬ vQ#/I<qZ?ߨN_ qNW[8` ^I#*Audr}Te} UL/WN@c>pa@D.vU{%V|<3{eRZ9$3.-h;:л4n:]J~X@Pƫfq)1:bE$k,r%ԙ:j];1$fղ3Az>)GvDZQgzW'lLr$d4b&M Q/qP@ MPOYԧ;=j1u)ğ umK0:=)һI̻+'ua"6O5H:PX1~jðx/KP`0mK{I&KU }Ԣ3jTbnK$7