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 P',D % HOL-MicroJava:threads=6elapsed=71.311cpu=310.996gc=9.172factor=4.367zXZִF! DO]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^DNQb}¾pY )\=Ɠ,Q% eųO4"ܹTL(Gu4E9;F֭c$SSJk(t{厑*yy ' HOL-MicroJavaU4 AR3~_#ϏWCgd& [Rlni! sže 9m9 &O1%p c/pEYD7s2*Jaq.UcuIu3jFHx1, oImDat&\65E!;62Jmk }iot}^+2z)n,d2<n`Ē@iCwމzmE%9R 7PV2V-fgQrĚ<~”&6$,z.ZRpB”E5Ф }*0qf2LDaBuS׸^ 1}6FZ@JnUk%gҦz6zi#UW5@$eըI k ;|: ͤbbu}9$ 4Ig<YQ =J?nfĬUѝnrB%F"UI0¹\.󀱓;j4s7k\SXr0D9DlRvf/2˺F)@<[|((OPGr3xbg~JF}сX\,s+Of..qVtȒ%iL #=8 $/:#s?TQB|(7L(@s6U2,|C{*LL$ӲJsj;.0~l߱M+6lŋ}bǓ邘3S|EO1yR>z E}tWYfT:pWϼ"]R'q#E5 B%@7We:'0'R&["kh:gO =g>·\Gg}@hVP3 HuB(b*;^>"R$ir T" F\@fcR |b͂hM@wCoM_n+@@%<$* w \/0#БW@őC)l?Sxw2(Ҙ(LFBxw[YtQ?Q49#z ظ]s@ˍ'cJ0i(7|<ʶvG;>¸<Kh=خzztDA~.^נ{OV8%nq>["rm,md®i>^߱}iޅcw 3">~)σO- l8n;D'7=Xb]gk)va ) (cBGsV+p6Gxu=?S#e{TC%4YV\ᶼfL_SeSkt0XV3a֜ב,3 ˍ$)^k }é\ע(3I?-d?).t> Nf3AڎQ#bȔSN%Z 6H =ߡL?2a lYE싔Y-e.{bi=N姙+^Q ,{*hS!SlX q4b OhJIv ‡\ױ%B&)FHMY IDjbcHQ=EZW>d W;66[qݎ] Hb{P ~N}f:w&bM1$&SN#5biJY,JLa\iPi`m9<uQ+15!J'{UM*FU!TAk!R(ςC4(Dw LI6\)ipmn"fq} mr BWQ; M%تblpޢ4*3Oo*K,Z.uK`L跛6K7ܳ ~q?h5aD)ibˏ599_lHA7uB zzj** }O=Ǚ_0RO,:J*k 0 ] 7;-)引o9 oڶjJK6Szhl0NZ`T/( ϋyD:߈CڶIJRGZw~•p~r?%jh{oˢO]߰-9N6 %H0 e]N ݕ!wpŶ=wuB9fD6WGD0"WǀK ڄjlVԃxT99Cs3o/E7X - q;|I`Ǟ(dCiCx:_/h!2BNWYx˼> >E҂MyX v峾ÔbWJmOH~eV*t2cnV8_ nqWM,b%86_g7|27.=!дN5E$_^&* r 5}dK`*c ^>`/Bq3#0n0hhY&DVjh"HoeDãxlƃ!|)~|C!^*0v5N92$U5!n櫺;ban3듆D- Ua, o0}0aĄ8՚bǕ^M41 D 15K6^$NERbL}A-i;C~U kQ/OV@QuT"kK-IJ/(Axj`\Qut9H*j?;Jg.DϤ)l߆-[QY47 ~ Tq橃^]"./YroX{ۮ' !)n4M@]=|&M^2pKtU%I]2PYk Q\u|ld'UلB&ZpRk~cQ9.7faiv/#}iN-}Pek)ۉaLMX2)(n;gJeރ+9B<]G[t TuS#MٻM_kJrCd"t;(x1Y[G1zLהTQ̯ TK5hU$:/5^52Pxakc"VcByFsz 4CB400J(mvm ń3gYZ7zXZִF! L[]ŗXi%6 I[#|S O&)$`-6biZў(aK`9M; fԤ0.Dq~$?˼0"^qM^62 &S3F_Krg3v[,Z;,XA;R5,1Ux΋IeuNܴdPw/QF:]&ֿjoC*3Y˕m~o^Nͳr멶^HAvOU!2;T)Y´i}\JIԉ/dG{"r[*#:( Q)qlQ\4XO@0z {kZV YAk-մj`7[;q$.;4H)uiDZ"\=+PlbgR+,c=!ia锔V@׊׸,w9/Q<28B?zmm? q+OnjlA͕c, ,'P/fYBi6wʐ Nw9WS(J>rB8I;+ ` &SNb|sЯ{˔Dy1դ l4 vXI=< ^cS]FFD~%n̮ ! uA69-+XH9^=妦SIzrq'lZA2qݧx &'͞ei-Z=d?|"5S]# n$/6 'sF'{_ p:q|\5 qD=+ C|70ǪpNE9zڹ]?%ùi >8u 0@c%P=~M3 Ez[c<,D j}KVK;?!6^-[dR0.n=@GeBO̮$؊☜gmJٜ"z$04z(#1P{y7sMeĦuR]6KM]:MX8OU6u)3 8FٮMD P)iGz^|y%ݗ2Z-?utM8ReAo)]A*^P3ꗔA0fh/!y(AT4h.0eXh8sq~Ì|Z2jO3MOՏ(4Ο:mQ"-DՏ[kWFwMuɪ/A"SpGua`kl,{^6y0Q"wP68aGS^N~JR(t|? 1X!2r~$}5eݿx1>n$rw4\>2cs3"%Et&u[ !oڝw@`Z-0bhc= ܃NISʧΊJoMʇ;񱤀\_VFQ,3ϩҕVfoe(~Ʋ 5 ̐(]3Zn9#N\Abd^gӝi&=`߰]L乮1WRHk~O%&׻5'&yRv*}WQoE"Kʐ'3HA^uEؠ$tLC&:[h8Iĕai :3A/h0aB W-i;!ѶG0 O&8iX,yXBQN[Gi<2EkfͼM^okWpbփ$c c-ZEfcJlV#0 ǽ$d_h[QI8A<,)r?Q]C#!SݚW+e]ɍ'&WӗN/1uU,^\[lW~3?ռӷQs\fvT"Xĵ; 1 tS:7_*Ni_3$Pg$!OK\O#&<$\j>iG/,tC57c`ܑ=GCq%;c-@ׇ`b]iG9{ɲ3oڜx['YA"-p BTV {z1lI]D#|pEkt"*Ihu.Қ =/]u;4끃1 ]Aúxc/R~sIyOfCGh[sRvH?م2|?drf,[isN]f<$Zo&y}/*VٕYClp*^hRuT^8W SZ2@›v'kU%j(8hu{O՛2xJa)bيƋ`lP\^.S0s2Ax9xL>}Oک|,Y%)~F3^ռZ=U<@ AS,Ys=K4$q^,x-w>3gPҨԛ~;YLpU^Q_a~ փFM rdƐDV%KgT:Ri'N*O2ոЅ2ř *6깃>O+BjMj)]S CDL%Hn!jPVP&9;YWhdO N j·*ʛ tXO`3ݙ@ s=;wپBd֠#CG0FӋxYͭ΁ U!T#_89<5)4 2C~㸨DP)sԙ) #3}ݔך '{wpayU5q؟5Q˒M͔wS%R/_GMGpnD?ZXa=@cҔ~*Yh! v>$_u{q&,#]%gm3n,|NŨhKfZeg9Fiy'eK7'}epd~.b _OD襤~7 hb#MW|Og" p[*[n *=I۰}BꕗgD&B:Y8JK0D$dXk%`-O,ΛC}s1z9 "3W"D+5xsb@n:x{׍;tvs2r%uү  h!(算1 bw2la.BBD10%֭0HqKnjln]YR !ojI;;z.lQj?"Z㢛g*r KG9y_y\oJ!]F"s_Q$/rQ:EKJ$ A `q9E_ wTМG<=J_Jq$ u%ѐX rexbED2.|B@2Fxg%$S=m}F*L7g }_ L^}\zM:VYZ"\ V%أqAbm Sy\|,$1WNMt% ̵H6#].k Ov9Z%ƴ.AD?m1K]F!v)2`|5[$N6CaOTT *YȸBowAb6f QvrǿltBy 7. [kҩUЃユN;bKql*MB*K|!<;yqSO&W8'&fH~jfMTPW䷵B".- $!f+~%o}Nb\f|GjrY?>l^vID\Hm"z!軇P?v|