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  ]/ KAD:threads=2elapsed=177.799cpu=268.356gc=11.840factor=1.517zXZִF! n ]ŗXf1-/6vRZcm#kƣOw|ё ̮/`RǢZ`23aa<@TeLk;ث!"kF}AwRNR!ظKno]=%w=oV|[n$ }8/fZ K 2xQ&b;G0Te a{ pIӟ&ksd5$!w^8nJoUJQP'a/,{+־}|^@b/%Ĝ2Fa!q/V!pg:8؏`Z \: .=e;dwL '[*#*oC;Fה/Dh6)R瑼~7'J @\&`6p>w,7-ƿ<2KR t0X*Fr̞Ka,\QvZfX~8L]4X["|hJQ]cW{JUƏbd҉`EеHN{Ygz Ɉ!vP|+QVtrN9c]TwW@ԠV?ϥ0pF$1yR6Sјg}"6x4@L3d'覻986 iCd#PSEqgfnb놯l!{bE 6EVXdRIS8Jgȴ ZHgO]U'B _d 5 ٣ڱ!l.cXHgҴ U:ޔ*Z i:m%$ȸ= !nZ#FMbFr5\]RF>6RT(Iη#Ra/f{;RŽJ I,sd? D C"/Ҡ} w(9kI'ZS$.Ga'bG^=$p+@Ю6"i%_\ܖ:)z[-$nr;Y: (ʣ2#f|f28p+@JKqDzS畷@/~8vДa55jl+QuN9:47.?:,9r!RpCTkGC[w86G*l2s|?IM5;bRuܙƥ Ajht{n,P{^ݰkG0 -3ZUvCp!,vՉ'u-@@CIN_w4&gYZ7zXZִF! ;"=]ŗXi%6qz\o ZA2IPDa(<.{!C ꧫyə^lOd߈ IrlAm; f2Jz6_@Hy&{ & }G\ʹqWUtAmGwalSb~q`;8Z*I րŅtOxu[F_Q YmrXDH!Oj&X-Ӂ= NК&3zćT:r<&(g-;=L"9;PvIZg5c)CE2@耛Au878U7}wwt~%l)))\p@.D!1CF5iOD;u4rZBR _-=x}W%D%:;!_Jy`J[;~pn@  KADL)#(1gkJ䕶y#e$P @-g}DQWZJAG[sur{t[ǭ9Vx?n߷6ZNm0fgarfq yC hO!MG5& ASX~Oj vAqgOx (X.QJ t٫E-!NE#-Ca8+=ۥ5iJfm)]29{("i#!d[@^a\_$ȧ]Ei2%>9C\u/~\Nxq' '3tZwnUki")gsHvuox;*FyFzFNya4Mޒ]fqg;XUjj eu8T>s2ãEUOl-xE`D{ Gėt:`LJ&Dy{9jU?&q+~&|e[ z[ƋuGa!@ r@3|+M3w̌1Ӓϭ%bBm(C;oC% ApAFn^FGOZXNPIkL5Qç`=URo⦢0`$:g.Fuz=Fv%h-#;Lu!U߽dD"; [eTo1i[hFvA5{e*5/:;|m 7/w̞-8=\gC IՖjߵW} a%m[%c2@,p+mi_:f|8n?2\TO}&.GZXZaзт+.> `d^K4iT]h]Hte0O9bR_4k%lx/מ%$ J́ocL[$rb́:tbxN5δR~5~uRE+ԔKY{^ڏF̆x(~K\)8~%HL BFz)գ0NWʷ3mN(==9l0(bX(H"3_°advќ4Ŗ/$u-jylPJaQ'& Hg3wgP9 &JMĘq'CWYv:K3?x v\㑼7i.{Gs:ASlC#ls*SO L%<1L ;'KoE&kLȁN Ļ94׼uK-w9_'!R`#?xu Ċb ;0^%R&I{4Xpiz2[*l01@?Փ!B{*p\]njd }z@Kh K9e?A4wx&~8S.~?V^9WBn >Hv͛9Y>tc`[Y$Su?]#߄ɍRMWM%5d`j1I1 v1ΕJR2fOEACˊ 5Jֈ)>'E^61 }+S 5ghvVm1aԫBVۃ'M:f]_k#endTf Itߧ_ @\ 1tvl22g>93goU ԛLbcح`DN  &v_?ȣ3~D!V;rxkpIl sq.E}* ϟ((6 x.hg=4DG HKag bB_Ҕ9MNWT:&y%"0o$&h<'N*2ESR3Hi#I݀X3kRl%NRdK(&ۭ ڽe"@z5wwq6H|C-&:4ֽ2UJ "Z=C|'/Н P 0?_I}Z"aē=mq2 ^F_~aK/y f^-R¥;"HxbcVZ(KuiH6Ł#w~#qﺴFR Y,6v#ngp1UQٷljt^4Pʽg\hNd\ 7Qb_I17TzjcLLQ<;I9gcwc M(JLVfcU w(YZE[c@W/`zFI"Yv u[KȲF a*}.4\.w˖ة3h5>T\̦~ÆDY[#ѯإx=RwtrP^tڸ M#^Y蹴B1z}~$O_ssGS4B;{¬!mϔ9켙 6 ;|\ASx&8PrRorS>WRk>ʍ>IUȢKn86 /l HKiǩ ӕXGJvh?;v>GGEPG#OzU4-N4²P]cD'~AP9<ѩ 15Eb'9DQ' ?UBa;/-ڹ82˷:" q55'8PۼĄ1yU; w W_пb$*ݙWAR!Bu)YtBAӬ 2@| -1"0Nyr.Y[~yw `ր G[ѕQ]u"Z;W̆e%";^6D=~7bpݳ xٷ}Аw)%JRʮIYU^^Nl["K$B*m^|[V6&oiN(Oכ .QĦeL_>%ewno>00/uDaFQ1ջ\&fx0lSҝtiɳH^״U6B'٦ w2l./hX;D*WͶsI"ɹ؃gb^r 'dThEm`+n n~RIGUQ\ܼ͑@՟+i O'-%_4pJUL|u\Mlۇ8!9'4baeBmK0A>jJdEGx嚐+wI~Jcxw!i,g4 M= KNڠl}b&f7P+ۻb'Jfϙt4_9wVq2\NxNF&tyU۠G[t@YĵYi-*k@]d1:1EҜ fN䵤ؐD~ktdޛQιiyw\ n8Pë:ݕuIWfm~vn0_8²ޮj2s%9x;xb@އt{U:t. I[ոti!XY\yM15/xePH~C02J O$lie?`ȵs ƅ,d,$dCO1~{m.p˨:4%!< b44OƾM&n$4Mnӿ'4gf+-xg@۹0 &Y7O}n t/ş1DRAe׊0ք; ̊&8Q!MK0`8olcD\7^[=2Brtmyޙp!OWRG>yxN8r1H>Z]4H8dw`{]h5>h?MrћۋEe.eH ;8߱mtB:߭Y`V\6$l}N%ME57?HwWLN^Vڊ>q. 5Dݪ3 (+&n|;`>謘gՒT oUվS8#F uwU)>wЍ|7gj `8)92Μ4y rwd?]rg!`T`Q9CO AF &CDb:=*u٫w9SɄ@+ ? G@5[9i°|nVxlqPt5=k& X\ZAMeC:ժ,.`ѡu-$.r7Kё߰S9)aY S_?e+K}ko9e髥TYp^ޔR#]ȶtUF1'گB> -|CZ28~F/oClXO˽ ~{'/DLpN/ e~3O>܂|n+$DzmW@%qZe|I:ʭ1aOnݙ%"8 M}k jfCvl%r;^]o);l!{@sd_te` !.# Eאab mpT|⠇L=y_Ix0we#H{5%C |y\ĈvӺ:Umv6"N:&|#Z. '04 [Eje{ Cc1ODPЏi)eڢj!V j)k7m4/uOm[e^DǪQ06fnS b%݄‘ hf'ȋ>k|gFȱiQI*]Qpz۩B'`V&犳ڳګe^#8z մIZ͖+?Z*t+DA-&3T{^訞oF['/i2%.'[GDfs*EY&EՋU$"oZFviG3mp&^U}$~BzF VwF8so%ť[gDR K+)_e% DWkiڝN) $THݧVaV'%v 4늑Q|v 2Swo\MRLp:S姓~?!& 9> %UО|2CӵKP2qf֤Eq]Z*Jwݮ8CiK&WPV)KOP|٣܂ME mZn` LE"b7tJ1pp7@Q&ȯ~NY{ 46KD:Ke2HdpGtVSdl CtBjJ*/mN-,YˋeB=ӓ@N#=/d& C3k꣜m "Ft#AIOĊpZ^QY&wg ft3/_ڪN0@RQj'{dnPǟSԒs8?2o<:DȢ2O Ŧ`i`Nɕ AǓuV3~Y%U0h92 GE)kc&ty}[`Q9䋉dy '4>=.=P]]ގ]"Mr"H+RA&Bhs",AK eomlq0;TZ>@kcOs=k>9=&@%T2e ˹G7eYҬ!1'a=tFaoacXAW'bҲo\uCa ;oh/14l\\6ҘYFUl iCl-oW d`̅ OHm#mĚilZ+HB1``Jo 1ŁgȻHAU 8*#19.~dLbp(ǗxƆ8vcx`-!A'" /5Qh`4(ơPo _>odJ*~,y_ίj})S~hg{EIC+df+Wc\@u} )wEc~Xvr"]#y8S{U)ױ =/CE)V.(#*>|wKcP3->D $egYZ987e752423e97eea22605a300d483844d29d190f1e0d760b8dcc7a202ccf9e071ca177b2d6e00047 82ffab2c85e2c69d04d032ee5f468652fc7921e8