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  '\L ] HOL-MicroJava:threads=6elapsed=70.403cpu=308.296gc=8.872factor=4.387zXZִF! ༳]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^?"bGb!u<~SL~2 _PC@ՃKWNK хIMOBjbaQHA)6"rܓ5?^ǽ`r6< ;|sp љ,AUz<-hʡ#3|w%$;,ܢ,ӨܤP8)v5z?:7՞V^{UP/H 锩bƓ\SHJˇc+{ yg~& 0>)fFL3 <;Xsn. " Ka`WHQ@˚G\G\Γan~$(#3nWE'd&j)9?BN46pNiĖOnRGna$zޯ.@-=vUr8`q7c! םwIbxӘ7'FS L;[Mtmz:X T!mRzgu`@f0<ny~J҂ B¯UA"jtdy՚Eq 'L0#]I`-'ݘzԷWKa[Ħ53U^ QfQhadwbg]Z"*~qQ#UVˏNBb}_ ordC];⌬ ^ϑb m-f<@i✈|""Ӂp 9̓ff`,zPt?lՉ9gSVN!l5nӈ?Ҥ;ѯ̼]CxΈŔ|)/8/4p((׵uBSh{Z.0¬y\o[eym $!n".l7uvY4޳ά$g)"?ɀSnuܟX(02j=?0+,G0 GWM ݋2tvN * ' HOL-MicroJava=*c$-DžyE}4̬ p" 8>Dz=ؔZ)Wa+43Y h86ex*>}%^)bEjق01x,;szͧfQsxZ x>nHhaАXb*Ub t@oЙ&n.OYCdǭC-ِtH_Rjӎ$BIQ;a*,MX Ϥh=ĸ #ZzFecݼ,'&1[_3Tᘐ]MIojt AR[y *q }yp'O60'oX)"'Ȏ=]SV&xi NmT c ˴BMzDtz^g1ĵXN5.~Ko&4&h?^K•UłgrQ~͑>(cajj~p#PaBRw'١Z,xߩ3VÊ%?/.9`@r<hBCW]6hLhdrc{./ $R\$֩I|za}EY>q,3"O%KK,m'!n3E3h]q wEOb.f{?`11e©05H󊿑Ut0m%&b۰ɿ#Ƽg)7/LpG/g3]o(:aN/T|âp [ #f.)lp8* `€#Δ3B+3 b+T_zh~ƼS냫42Z {Fğv=-ҕ-rk2ċ΄V#*zĨ8/ypܼzJ.Ρ*ƨ'i3a7ǽ|B}?׵k!9l7ygM%*fiܷ5H Hȗ_]C|oxnDn`IcV!"]r3 HR%+$F/An:þCm*CQhDԄTR9Êj1jCP%Yf D3 \wPSbnkgooUiZ m) xr`w;߫,"X԰n+#4^.&̬>%v[k4Ɏ+ ~K:`Ą{ZTAm8r{d=|4iލxY9i_D~Hm\#/c'X{ .CC:9B /S>cuo!mr)GNб'\!/פF@Uq6Q(^ DҨb?υt[cjN HԂRm.vRQ!h𲔝gZ|*A,9a)Fd7ϜRQp+}5Pi4!`ǩ3*y;n VU4 gڶy/]ա1_*~FIBJ[l=BXAe.*/|V۝R땇(W#iIw=dIRHZ"'i~}IEܫ;Z,&#mlMMmGA/4_LcذZza8bԠ$t$ } "R`,7Y#('xRA=ٟ< 5 4Յ9˧<"tTp a4yk3'3\#Q !VbMnٷ }+ 5r5N^{NMXC =sGBwvj `O|󦹪Lۺ p ,_xQ'F~MMsA3-4 - ZM߳X+<-xwGtPǿˀn7~Lj r*B%Nz"ZfMb} 6XX(> cns֏|7 !mNXYl`(ɉKjv7dS̯0XnLU0ύj@0RGzkXWj~L=2qU0+Ny0P w3Ǝpb%fMJ7)6vG3g;.C.U?jr9Btv>XC^;'W~QMf'r4IrCO%rG(;x+t!d Vl|UNZ㉨8y[$5 =|Z7a6 uRW#(2ě֠]Z:-Oj:s<J4VkjzKj/Vfy6Z0z;EY0)5Xa h3f>*#^˶lnsF.Pxϓ@%;* _ KͱgYZ7zXZִF! I]ŗXi%6ͫvn.7`W+VU+}V^ &R1fT-b)n?=k. U1Wp { j%'b/ q`a6PZ_SV_6ض./A,p̩A-+qddϾ[s QATC Ce*bm֘2}Zv#gs˯54F}tmP Uͺ#HJ]zQLMo60:!Bij=RKzKY5Y (Ch\&UWh c߫+-l0\D5<2F6U]$,O؀2-_aNL~Pykխi"]trx>|2*+V"$i8!Jݙ㔣_BW`$U9Zdƹ&mv gF(i:6CBdr MCh:9BeEo@~-VE-mf]0r''Oj[P~_H ='' f_,:uH_HQrI87elnpH:ZꉐK>{y݋ގU!44jެ> _[F^I"h׏_r\+X *K#m)PADzJB@g{Qqbs,9Wlv !ӵhOK^An(uh 0 w;#Ð:$=i;l[ ioQflcۭ&L!P-$hII`1C::wW9g /}i X d,XyPsFu@ >@ +i tis-(uӈ+\Br;yvze(RF7#F[a ~p?&!õ o՛{~AJ[tc\aԲÚ:-(HUCJ`g[k8DE30ûr?wc5s;ū@/ Vj"& *{;%i3ا5!*B! ێDƍ5Bx%i^ZLg9p4rrFOކ٘)/Vou<9=STKOB^pm$))BQS{$Y ?.J9 *'?Ze6;<:ĺ&5n.)RȍPz)lmukr1$}&_Yݻ/vL;I;aH-rf\hGgSx0ac'2[ k'4 ̧jN3y`U|K[ja3Rܡ8x|:/n7L@v>$"aȝў6:u)NоCE/7)Y 飕2<.y?.]8hco K4 QIfZFM A4e O:M7+|٣kySA/| ,b'UM˗d QZʝ2CvX933~􂣇Xb[f*(~ZLv>4P#n1m5ř vmnAVȼ|TX2{Z`{ =m_V!Cj+D<3^ ^L`6!?q^:Rq5~3ݹI[o/ + ]נF)]ȫaZ'pxpǸ;MWZl XP@<ܓZ4AxM VK$u0;m< Vz%M\\{.e50W`܉Hb+|>hP)S3g{o9wHz0͊_Ɛ[1Fi@H;ru,\JkB܊xqAw'&_%3CX?eT?¾fT=%BVĐ4gPVȺ}cgyÕtC'v;) ICoW#x6oԢJŭ;v:@0 2eA;j/b&3Xd{|oM44w,޼TֳuˏPë83.B:JՇ{)~fT\-}bк>/DG-=oP`ꠇ} AawZ_ 9,3A,i|#: 4sis? A&^4S"$K;ҞKBMӬ|ry⑕* I`в %e2  zMr̓sCdW[ 0d'YJj6$Ox$}t6I9KeΤoxJ bey? ڙI}N[n>h@H4_ F2Ȑud/kX uSit: vBF@߼ض)Hm:Q%秢ԼOYT#܏1#vݲo-k>Gl#̕#!cGLcGzB![nKrr|h&8hVBE<ؓտެq 0>VT&\TbD5{,G__Rڤ?(>><mHD=MwmViOn({f ˸; &Vxf:?@r1$9PIY7Onj:uJ XH|AuK:w_V3^_\\uE zd0 $(N*R.h'i6 fB它dq1>6o#֌,Cj| ^&7r_):x0Drּʢ(F ,Lbn{/G(Ɇ~#v !c>}u1-K{5 u.:Dֱ_DrU¿