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  8 89'd ] HOL-MicroJava:threads=6elapsed=57.033cpu=249.900gc=8.884factor=4.387zXZִF! |]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^Sduʰ!K+=}j{&?'%h$sc9"{\)AmFGcb WYwMַP{I??S7#)r`r'I&=fOvJ*>=Urӭ>AETTy/jҠ[e /XoX,~|54bf!6[{Ȼ 4Bp(CM̙|nEGF0^n%Օ>Gqhw;c5TP;mE XC_?1{V$Oio !9ߓeڅq@~򉛖&*#19g{w  jM. 4KK:-]^Փ~tc)յ.u U cċ2DTC#y{3, xPj<4J@.0du WzY5${ Ic_Y6(L-4_+bmr/O&l)X0g>1+)7:eԾʅ Ήirg)/#뱴,wAZ$b_!FPwΫ=)>?"ԑUjm-6%)(lhgD-H \5 cAP֏u*t'nhѹ-冘D[ktb{дϞqy:zp]J.@]ꋭ"cf" ]4;~sjl)CMsҳK(2/&WIOj

#[N윰ce@=;T(5& 9xq(Ǟ4ğ:3>Ju+D d @ CօrbڿN8T2>3hЁ 18^0E-,y:-ͤ^v'px)ȭGFE-r3Рb'}~3EB c^C.gt'2 S׬BDZ/ẠG\,2pGm ("]i F]J.9^l㊲dKo_>\WݟG_P 0XJlIWm"d*>e$P[-il6Bb@vڋP7XV*Qv,ڝ܀Y;xCDX71S& [,xGWRMyW$")y:eU d´=sKPAdV!1jnuT%o`1i3e[]5ӚAi^(<{UIG/*= w[^G8k(aDJC:Z_[ qEU<}TPҿ Nl OMae y\FcdN-szzn_1,>X0/`502CKZenLdl@R]n \?Lx/) lo(Ch{kÔ'#; FH7O@C'S rҖ"15l!"{y&b]Kb`lXHLVc]R+ xqӣ]fu 4Rj] yҤv֎ؿ^Š"ݣÇ Q,RjOU. A OhWP{)`Rc&v)} ܀v3C9e8=4/׍ Kv?ވʈ0I1ңey(8i n3?q<˶3G%'2JЇs)#d-pAM*A'4'7 4X*$nkorVaQF.e^NB p.V4pK4ULe Ʈ ő>jH6tkv74 vT/Vo5?WJcj {Z/]Q<;PjL  |61劂m WRqsyM6R9LmYgYZ7zXZִF!  ]ŗXiɟ1%c\aE>A}hN5yc,X$5FXX !ǝ9=cgtn5XeF]5QQ_mUT|(8˝fMs`r0! E6@ pt}N󄕽·Rg}>1G[ؤڰ{ַ(~rDc,3=~g ? 18+^|z 4#Co .At#A~3CքRǼh|VWvhbH7z~"_ |p~t齜>̰e1<,yd֋H@$sgYZ7zXZִF! RH]ŗXi%B*G*7yA1mh#|JMv5?Z;-X-A=.@]AV&8ۓUZ5 LP7MжDZ{Zx1CG Tr.c@՜LM!wt͈W!gtՈBR[k݈+iYPp#qRkP?şmv\d?42\CZ$+36_3k&T\:VY==PFo=݉Npe8E$ݙ=^13]qI.ySjl.#<;݋į,HU[*\4ۘXd&vWL;mwQr\9CI- H#(J/XҰ~Uy3T zߐart $#c;w1oeLmچO|70Iw 4ƖmfxoZK3/>P 5R3 03utm'*Mt$M'7M@h/6X Y j%T] Cod%Šn5nO_Xb̖K߷D.A @~1:ts*=wsueroPHp<p*)}6Zzf;:Z]u a:uI˚$*f<Կ2u!r=٭כv5%&5ЊE]G$c2&jV~ऺBAt rV9@D$VuO)H~Ѥ=Rt-'T~jK*]90%؀,*-)a~hF8zC>~tgAǬ0搕 QC\jKƳr͓5ŋP')AQ-4F uҜtrEj:8ԁ#`t2/=2slv2#7{gí2d@FPc"?p~aIԽP3x8.Уz:b `0b$6/Pe*+sָ:~:a0_YckvA}䭜a/v Ǡ{pv}mzHZ I炿KDӬn/XvFRWٯͽ J)+X>HP(\֝;Lyr'k?HEp ]UIr{=Q`F֬Hi'bKt 2DΒm/e|_ iCNED?d onQ͘] cyNV~Hvj ./-"?y'z)p>-ߥ>o'o(F_it >`=2A'g0؎z4ڠo9S7$|Jڎci.s ;i*2'ד"@h/'Ր5#GY,n{5n)0y}22'j9׮Gφ8e% E47V^=vz nNPg G\Ls:taDg9*(yU dT,Ƨ:ke{ʱƓfЎb: ZrLB"Ob0Gn:/02sZ,3u~!UIy(y]͆UZ|<"g`[z%Rf4TZYx^^Cu+V9h O/Kuc61rT P}JR)W0_m['*B?S4ߺۦkSphU{0G6Dc!Fo6 { FP\Njpg˟;`3=>AB'ݼ+"*AMz2?x1`ZօK3 __Y\Č+"X7Ջ?@sTu?7SĨ׬Q%%Q%fO+'\:|oӏ w(ؗe+kroOIeWu[#?[Rhk7';x2ۻeJǁy#4ZatX!SpT)rJ$wX\4yuRgsYoB6R7.k]Fg