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  H H)' |l ] HOL-MicroJava:threads=6elapsed=57.360cpu=249.016gc=9.460factor=4.347zXZִF! =]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^Sduʰ!K*6]OKƯĀxμù`DIG;eƨ C@A4 k%=ҁGߒdO}0*En/J{N}z'bfsTۙ5 \˪s?at3JQK -xnϋy][00 \D2㋿t.bJTjT#حm8EIo6fuAvIxI/j.#T +O0vABz MG;ʔ4_сO#L6<+MLZOc I\vq*ވP둕}/[+(v˴$,76z1PBՄ_z)&<f*oX%2o>ZN,ѣyFMTXM"b d,o=7!-0Bl3us58E%g Sa=*J/eɇ,!Y[%{H<>γR5Q,@ww԰6?irܱ#3%qs| 謿RFp_O<}^ Q20)ȅ$ Hl?giQ k4R+.9 ' HOL-MicroJavadWO3Bp?2vWzDA#$L*WeUP #T\ΏWEoDL`:*BB(Gt Y+O?6LވNRcEEJm࢐A,8t|>Hclu:fGIK=8D>6KK=v˕Yhh!6_V?ʦF,ɤ{RKHgSپVD}H6s*ڎڳlgn.Nv:aaڣlB4?v g̻iⰜk1s7ܐGwHQVdkc0{7X2Q*UBʏ`SIiDvgF2n*S܋+xr7f&e%ҕX'.Җ7tnWp%,b\'&KY߆w3hT%sD<=nw;Zkkڣ1=9HMXj aq׶t gΦ~ @4lDҼ?MmKB8>`r.tA}hNQ?i6𚻗#>J,I_Q.9Adn)3]97n} tm),H=7KRW,M:,zgҤsDܟ :܆ÖB},t#d-r 1C3+(fՕ̄pIKs׈OC7OO(U&c­|{Y`03cm*2P=LZ.6*[0gA3]sDO/վQG_y ~ 8yhI\W,ɭ/ Ns N,Ql9uJ($%GV”3zrDBL8h=q6|zl#޲9 ?&q*1VS?Ǭ* "QzȱW1yd؛PLL9XVg TϗLo ',=!?ȰiKX;1Ć2ubp1( Bi';"72{a!i"~Q^^k/Ί8m'c ب&.9K&ж'u2rxKJk}"hF˟{B*vK& k#/(;17pW" GoV9DB*HSt BںUA3%u<V Ngx1Lyc~җ~^^ܩ^j䘆蟃i7PBI(DylHfE PYEQse . -9 ݬⲥWi THMBoxy :0<*#iHi5Ya꜏;NzIy&w4M(oVV]H9?Jt!+'fz^o|! oC  rk&pCI39EH%NƁAKH6T槷r%<&H1҈,DZ2;=>Խ'hh-a72`*@PT[oߵ7``+2#ͷN1e \?\rfL&7k LSM“(A{Y5*vX+QFe*T&Õlf-a2X5G[֎c9-mGCc4iY޷M{&{ [n9iHby^gr _eFRՀU 8<#cp>@oR3&}.I.eIˣ^AFd9DKݼLqNIIG@r>ZcՃqWE}lP2P->II.F \F.Mpo|kY5h/"3ApA*Иt[dG%KJs _n[Vҝ 09ezA4} pt昊!LcO  d-67WCuN#F$A) v٪6\j^BxWrLczTO[Lh\M Th-;l0CfXYH˵nХ%@laG8o|Jƀ?aulK0'Ԑu9OzOUi3}IBk?a YX^>M Arַ`%<1D[{,>!hŲn5_ G0!IV^ #"s l+\ij{ 7:'OK!O"Oz)?RNzr󞔲,=r ŀ71ΖW:* \lP8m628"J|4uƢUD- ՎLm 5NiO?7ڞUDJEL}S LXvM4RTA?(IlPE{"a / )^a*3K5%xUrU|ɫs:"2{`EUWH {4olި J > hK6+">LX0^dyꇜ;&w'C52Bư!!Ɓa2D Fk[GtA:5\UOlB$GVª`od3n\D jT%Deh%7cP&t45Ʃl7>_nHiQkb*z[g.ӗhS꧑/`ye)7-!riu5qi57XU1i35nDZ Tfn6`i-. .y"a{ -CW _, h /2+b 6 @&zF7sj8s%kHzɄXLtwjʜt겪}X=f)_PB6q=zZEm.y:@oEKrG-(Vx2=\+C*@bD=cW`>Oѷ io>6rIH[q  54"D-qm4#q]V\CA^rlxЍ ݣ+4訊=? h}=s'Ip@ZO )ܖJmB_&U h? c|wW^)W%'$C+/Z5A&R%=\AcQeKzBwfܡ9jQ$F/(XR9SffaU1\ÇUyv|GJuwj"bnG+ M[&@j}縄-G@͔G eb+MjD.M$fAK|Wo։5 VNw(C%"Ƃn܌$=M> t0d[/'2E_i8Aԙii_TGs_Zc\s!Օe81j-X``Dw'qLj63 ]kPjm%xc7qb]<I&q#yaA@LXZn@7%6~~GC F KB1SCe6y kbFi;%-MkH\/S bS!GGF4kR{q6I@O9 I#S6"Hi<:?NIClj ^%4z >.ny`]zѻ0 EF>v_IfX솂p?,эxc8UхY !oW9V?xpVy "2ވ&1i^/@Xk~V% V 'Ul̦Nhw>f9ʺۇcgp`c&iN2|~umXa{( xh҄M7*otGP"G$#!4CN Cq&DKy\ހR4˛t$p Era0䵗d ־₸ysPWdJg 1M*pT> 2cҺVfD0c![|*s\:߉"a:fb斷S:oۼּ٣e04~18.ʵɍqC.,?Ȫ@N渤2E( |K]W'fhD}{71 LK/pMz><[)$[)=TB{_Z~b4sHp]řK~Py\ۦlǷ"T)EL/w!6yʑ 0,.eu'MUNplsvèxc0" QnYN:V |K8\/jbc q"42=KPVx @Q1(®x^PkRoPGe]@vCʊ?oB6Fͺ}qPgH !*