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 rl ] Buildings:threads=2elapsed=129.916cpu=215.828gc=4.368factor=1.667zXZִF! | {]ŗXf1-/6vRZkO* 94[cS"^ˣ6Ȧ3| +("b-<&/29'PN{`*<~Xuq f>OhH0žOqmxR1V8Q"a ^e)B)R]#N=mnߦV%'WLyYRϪ'oq1zkR(GftX3Rɰz3 wtJ})t:!+ bWtboks嗛@X c4><*{$8lAffJ&ԹɈ X9YfT}eLYנCBY̷t/ء* ^O0/ *r8>v>tRקC\D5]{rЫy DYN:(I-oF69k`hq+=';[Qen7;_EUPhuP4|ky[b_HZ(H!$ԓ003{8 .|E'lTeF&ecI/*Y`Ԙ\^bNyaA--vvҪ'S~FrƉlcxu f\rw7vA*3/\{KT` e/VTfZ ,H3DΖ f͘u`vͽnb 8I,R9VY&7aF4PFeCNߘd"Z@?_|B_]@IqZl;Sv"GG^4ɊE3 ۜdPәg^u7k ~$i=1b1l=2-to̗0Ĝq\kz:穀IᎺ0KW#;k2KߵVxgT^EsA (vL銀%WÊe]Lğ[Ǥ<ښb&Hi-\E-sVoCLސ,m:r(9%Oa YU1K!Y!,;/vȰM Mg,P>5tNCz MOVmAjлL^q톴#ĭb-cTM8U#9`$eֲkͦ;$af z<~glØt.x kZqן|7:U=UǼQ4D }e~R,0E*c Jb$U9o*2|Nmݓ4/PM-Uz:K=W|m؊:騂dx+rV8-[0K|3S%A^CD8Bw?[mh[F)~,/ǐFߋ=d|gA9' t mYgpkTR3IrJ8_Mns~9dJdY Я&SkeKC[odMiU%9`Z.k9aX|#Iå&ʨ|Q,)4?k1(Ƴċq30poSZja%Wp,{$z5-ТǞ}[K OıgYZ7zXZִF! y]ŗXi%9#n-"J-gƩnxxr%\iw9C=("сOz檇 {yXڛU~Ǖ5J/v+xo7V\*& <. _+P4@}[xf#& Ry&.\=Қzdx*R>dv UѪݯاd-wL'Eli_XT1K4+iT' ٛ^b7 +op5M-# )Tdp5v>S"MO6Fz RiŜey3$“9BE\m0Gg'_e+lhyt?a iLV_*$nip\ Y,ZHm/ IL8mS ^3)V=wq7Q0q4b0&B<{xT1߉ 8'(6#!8ЩFZY8o< ^Ћ~H4b*If HW\劒+s;7xoAqCg=b J èpےI.XJE8U˹S|tf`]Y Ȉp[e¼FTs>gzX2}7a)AR,"Bw4;[Xqot(?fAkSd6Q''sO\44TН/61F鷜0>0Q fc+7Cvѷ ч0cADF|-\띯c_p6J]7 <ԓH"`14Xr >qNy aUhSN";^>RyzN?:mrۮM57ZR|5~&9<)0{Ħ#{Rx(H G8SK8uv6fYGI'5Q ,"\j'GW{z)òl]Ђ #>|owUvz86h4@WĪ":3v1:/қ{ (v83\,.+bK0g8JZj@=4f݀"[+| C |AKʩoM{0puex3] PhikloZwL&TLN*Yo/w#g{rR9;cU𿐡ICt؄!O}gXg_LV^fIAy@`[,j`B$PbFE}re(0qh- 4_Y߯Hxpb7]Q,1}/ytR7TFh@#rH|=fPT{q k?fG?b˩MBx|IL%tah%cm޲LA^v_3fLіD;Wi:A%w/ׅѼC\yO$24jehNۊEyd2y[^}N$tHUŲXqs`iv.Tr55]lb|pf!х!BDyDNBG1jƼ#DA^P WR*=Dz0$FK8Ewꙣ2$r'*sU%_6޵V]ֹ{r-biO%.몵za V RdPUF:/0y'*OوOI?βwV%`aRPc-r+ntj?VyL #vn [ʥN?7!FWte֘Sx#:_-wޕ` oRg)mDm[Kj~Zk(G+|i8LŒO.}lslԒV#ٺi)U G3DdX*zo`~_ #W,R8@+_0Ē%]x5YOtQɐ V=){ L%%^\?jMkNW۝E(_p&p3bQ-A' gYyѠgH룈hZ0\wzՍi}F]!%6~7r"(zNO,tn**UI@5 [ @Y@M9g4>XfTjt6 ,? G!tޱ9YidTyf6uu% -H[M &9fpϤFvs/o@u\yŹџ/JTxzje5fCif̯ "?gMTƇ=|(!xRіER쪞΅Dhl=l3COO͢ 7WsJM3gFR񹷨9V: g\5v=4UFcÂ61gX*?Z1c#-]a]2c2뀐.'O/r_7~gtu陸 aZB#"y:PNVE<\v2K*IvY7}Y$.zzA*SҕF+, ,%SMI(EOm9CW֮XxlqPT@l5] KLQV0^wVVtd VEX7B~ks>N'Cd ooeN$8JߋwJ f@UeqكVpBrVG >g*Y w2%Xgq9uʶ0"JJ*7, "[9z$Śj#;pxxÏ:Y4j06 3^BH!ykpD[0gzkLTcv]t2]NQmK]ae/%E:雷?*xIM׭O{@εuoVu7a-)©d}_AjB8{Jg)IMGp`M=jˢԖRvVGJ%j.)$>WRDya;D*2ҩ!4r^_1#Dvwu~S-~N2L[Q-cIF⋕@2tG1o&@c.d6nd+>|8gV6ohkl, Q3M|l0') ㍒2ȆDeu=6(PD},<38?^'W:$^nXص"+l; On,朓8(ts?Y^+8AO/("Q%lQĬ_%,щZKƒujii@DU%:@T(O W 7y+^GK鋻_>{ypSC mKT^#\򣿺(hjs(큚[EPQ3.j]S4ՉO%>{vߞ.pg>?\>?E,ӉG\T28L*n[5#qior<ǞmTv Qae1h0q!C3[$%YvrQCzWgK1xɺʩ zgZ[("d6J޿PndQ:׊\5%#0aez6(h PR&6f%ԱNC˫+$#;z hZDm+=Ϊ|"$n>*&!F}. ݮEc< ]0|'$-eߚJScIzj-}e/h^bLvr߸qf[}3?z3L#lI?Pa[/J E#͙TKM<1RDp {\l_K#TtP`7tr#&a;Y)P]Z6Eqb~@?; '^eteIk!܏sZ#ڇ $uS82lp yK]`q>V[CG[ALe_i"r\h8!dF5 hK,o\zY܄#6熫cǻ޹:I MeBYRz\"+q_g8; o6"{a)@n9`$2to=0&?mnñ.D<| s-8do4sI(#,880*Jf(Q]}e&^9-//10#/-LbOw3D= IX ;Q ϵ?_vp t~ -ɰ*oA_] gZЫY#]ji/L`<[ŕnP=*}?GƣeMG@ChbFzxwmbHN)eUe{Hwdo['W}\Emu [V^]Ґ4#EXȯ!GWk(;C {@\K~_Zp 'vfӑrmyԔ}!ݞK'N\?V9 j:p$FРk_Xd6q c;;zd1BZb 0w445orkӳ7 *X+(gRgPK؅/v^klY Ժ1jLwٿ>#bs۾q!LF l'o\^ddUi %@ԟM2u:1Gj T&$j, &2b4)lXR@R ߍ0ܬ֝b;^mg~wqf4j_12H돘=J5J*Go> S(_ s~sxSȧ;PHbZZ7Pd֭ ת@ i1I Lg:u%lP>T3H+lsORlN[iwCS*ּ[% NJZE`ug(t.OaC|ĀarHOjOk!N`q0po7%}α&wI*X)6x`bՠoފ[+Iaヱ _$.5Y%w k6p{v;ˎr)5Mdَp2qאn%qnԘNd1m469G"w(&@KgڬY ֯5m[BxŖD8 55rYʼn~Mdq9f1nh7 ]gYZb937e44613d78906b125e4a46d4b6ef534bc50458ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a 9dcd22a721fb4d6cb69fff249fad38e4e65ea05c