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 hh !D< ]S]Containers:threads=2elapsed=154.072cpu=244.556gc=15.980factor=1.597zXZִF! n A]ŗXf1-/6vRZy蔴I@B_J?< Xk+CG߇V;- J$H^|%U.<02Mq#!% T#UoC"-c͵U*گ0e*LD8XsL۾拜C'[q`偊ЗmP|_/F&ötM#Hn=g0gKP]juER s:`TUg?@Jf@x=q ̢H`kN0X8r)+NDZ06=@Zm>sbiIDm -6L/b`,O X e SZ7QK4&jQZyVG@V4 ƅ{!T 5prgܩQߝ9#]/?YeW$&Ԣ^j,gPd4\Ư\}nnk8Hhb CAZ_\dŋ9r;ZK`z;bgU$7/H7RѠqfsU8LMC-#F|FFhb]MZ8,G8!kkm?:E9EA97 \:Ի%%Fb*d.PM 5~n/x-&\zMv妓3[JuY-O󢀓0isқKqNeͦk) (M*gLPti:ҩ2o)c$+ ЊU(:ﳨQgQazoh=J|VIź SMfe뭮b"#)9jDҨ+'Ɋ-䤪@oY<@CZjw v~W8&H*~hi'!!Q[ܹSˑ*:N&}dW{:KZIW\$8u 3ܕʹ@Ț˜b\S8> '_S˚`~\6acPqwR#k lFߦfNi@a1̅qbX >xq-xӺo65:bE=OshkSP:GLDOU?kOA lS3jEVY0G._a:λES]Ⱚh(@0v&g5gRj1/Y%x*}IG9h { T#MRE^*L[@8x 6~uDF9e#22_riʼnv2˳8nago&<%Sg| C7*`Ts%0dSΊT:7ޠ.7=COӚbq .YV۵Bjg7{߶%^6]d'E4s[?6%b!7h'iʶ@ O6vNyKa# bMrXmڍ2LT6<V2؜n03rpj]%K]J\Xw=vAjh{_S}w>ˏ3fYg߯ڐWA歔퀖N {z?7G>{b`. =bR{y( |vV0( H"o `^cI^%!Gc M>łSlt ?C*J7vJVb+/|A \"RʗUt۶#^NBQ" s  /O Nz \1]S:;R{PY#…tՍgI$ky- ?#}j:Kq.z "ZN.|]Ru7잚FgxJJh.0}|X2WųWE8*" t؏4řhynLV$A(QƠaC'Q/|-G`7D ;bOv#C, zz_ d3w5ޓl)kd͔6qZYgޚ3~#M:k"6l;pX=qS/em_#J<QF-MM1^=3%? \j p$`N+#CI/%Ş'6J[J6L)ƈ5.065ĕSW5aQsߝu D@AA2 w.R \HVo(r"Bњ SM/5W`A<0i˕0y]覬|ZO$BweY6JCQmaԦFOUdԌ̙Xn5AR"H" 0Zd+~c!V,Mz"M^kǘAgYZ7zXZִF! ]ŗXiɟט+-ǺژO OWH{*J͋Rn FlSSǡXb>Ҵ2 эprG'LE~xA.d h0@]꽏tSaJ8u6S8e#-S=f̘̅5+ODVo̖"!bn, 5 #2yn9N6;]w=r -ЍOd!6|"aZL 4LwhF}IȾ*;J2̒ gH˕2_h^c}_af K~I#\ oPP *E-^[,V\;I]|BN?_(WYzfԖ_<-j7>uYߚ䂈9^f(iXZz_Vzl[;j ?A|"MehdWh.m?O&át@h0)1הr<_G[D(5x+Y  ! Containers A%lIjrƉG@X)jf@ &I~}U=]9tć!9l2L-0LY2x$R;5`؜h-SU[cgDCJYW|0%R~(Jx4w^vL*Y XE. ܜ F5Ud.>:x=/8IR'9D,E S$|;cB˻'G" @ǭc4(_9Hl~)# P[BWRgL+x"ve?Ls|HAV|=WYT`:$iX#,?Gm-57\ \l=7^dJQћEk_Ј :aD~V F`4l8?Dt0!nH VnNCz6:&=D(9O{)cu8^FC!w~O.5L>yXׅ#FX_G 1?E/]ΤI%Z><9#E0PnFMs5>Y@FzY6‘6[SJ{fč3 5$"lt`d@̓zl+XÄ59q*v?3Ex,kkhn^`J<+K&lHrlD.>i(x|; J^!.HT˫K)e⠂vc" ?R;RMd+ `\FW>"WqRSAzFc1-A6/䨸̘HI(ud!E||~'ȜgP2Opዓ2z խG,]a/5$r´(SMӝF* gHs@(lK+-G1jk %0lj{P:`ɄyDڳ>VѣXyRkE䃟V;p5X_'!+l)SQ" /hu_0& -. ;|2]%k%S.q0? ־'a9ܫ Cj2XMD=/`Nh*%Oۥ0ԕI`xh;(%S J" NƷNdy0}>+RrAh+ge}C czP 1O1O7'|`׵&K3R&(UYajM,l@PqGBi ٭YI7*ѡd7. $'}yz~x_9D(uH@}Ϋʈk+'QpnU2PIT ̆W' }&wܹ^~S-6I@aE׃Z—)+E:L +,=l/*\ׇqv̱iͪ榐M2!VE]&MWvJ[-9j lϠW?| n{?tP*NɃv):F|}+qOA Q)SvN!A^--j9):30D'!xsQ9 Ɂ/@Jܷ k28t).wAkѾq8_SS9AQTy/?[z߲b^(UAPq\~mh3InL $ȨStM3oWoH"tw pUd1Y% Ha6$#\J#YWFFn_Y;CFQr40.~C|7U +~="H#F-,zԖ'!Qʮnθz_5<.t橯:O{9ziZ o f97IEZ#\](`g>F$ 0gJa+(XXy.%z ~?5>/* N]cvR fClB/j&n%ir.Qc e,wS_+ M=zeWDS2\6da.lZPumOWu9y? kB75,cȠWNImo*1ܕ"dm'ܟ7"g9u .N䘫dx ]Usx3*,#SH S)M(>s)凱)@y(?KuloᓧVzJJY$9DG'7 _|[tuY샤Wֹ{S1Qa$,(ӕ*H&@,70HbDë@B֓6e cxS;OD{u,`.׼vM]Y̚~@Ul!LDG y +!Suf: 7`Vh&}FJXHL"f$Y$u/!5q ԏI{m)+23XQ$zPf= s*:B 4ʸAՈmjޮ35{.8ŎHLԜBI- u,xK0.EOFH.3vqI㰤i"|j>ۜN&'W1 l!3mE\I&RD/hST)q:G. [͊$(`oX Dr|wuޅh(wʃv 'Hĭ*7l?R7 1k ؁?[hZtdUcяt((1Qr$ͧP(aa[`8UH^N(jFr;gL)FFiFqօA/lF(}T 6 9ЄZHr; ߢm21aA^=z4.ϊJ`'o7=pã&A:Ze1הEMoߕah{_;cTfYXO(V|.B~7=:3 xcEw7c.P2gGزCJBVm%βsV=@jAUyZ{#I#M!"c`;;jlG02̅JzƐ!Ч#aq<f57V1,"fdO|xՁ7H߱[. -zO6 "U3\uSR|Hc0DȬg9VO|~ @3PP$?&RbT'&qKx[E^I M |G< `LcTclG>L SN=s0xvRJw 01P/K*7Kv6NFeh&3gW/D'RA\?.-uѪ\` ysLa+x O2܂zFDZ\matSNfdߟ-[JSEHz@)2a_KD9DU>0CP;[MMQGU[1gw Nl R7y* s d|#x,-viu%0ٍ1M@Rł B} v Q"na0ӄhO2Y 'wdNLN:Thdc#zD!ί _1\r)}tl.gU"YgUڰ|^,LYuʼP.ݦC>O: hZQTZOmUAeF S+Cc֔ qovq AU7n8фOie6fŀy.9)&,4_'oFD?0nQ@sꗖo'Ud+SWԿ(/u/XU%2)ao Wİ^Cyi@&;m#O`M])dyJ?kǸt۾If}H]ITdϭIRg]lu:*/ffu:nqb5ST>lk3Q,ʓh~Fٛ=^Nh)o`,hu$W~ '#CjӍQZ9a ͳ|ơ"Qh0R3=M_>;S_R){.RHw)ץ|<;&jD#߱AmZ3|''8r6$IT5Óoפsw7 5RKm@{1̢k;zE Ij%ƃS Xp/-&&!/> K zs!z;V ]5Bp=9ĝ Pb6^%hyt._nIΞ4 E~,bۧ:F\JAqSbXdkmIJ?62`"3s2S9PN˵s2w,Ao.f@x!0'͹ѣ0.|{/\5>s'(hUsPZ_X֬a@᪉''fBnÒ+Q8gf%]im"e&QpT;1ĵC*?^|_,Fk&/:sG< љbW@ mW"4]x 41.'ݑ"CJD~G!r*U쩵bnf`sS@^kf6:ˍMɎgGyCGSn2X uqUZzFKMS/{ x 7K4Uq ׫DxD׳l*8jjVƔOBV:՞qi~;ujj&yt &gQZ}vg\uݐeDq]A=R;z5En۸Y7I|tέNM/Kp3k$I»熍k7A0j+g&8Ð`թV;88|mӿqRdeE4)IϓzWmWrh%Q0?79 (V"V<הI=1bCb <ރ? ̨{%yo> rR vb 6^ UJ!=73"*oZԦ5hywIF{qD*,dI7$pX(V V2ʟpy3DUUHk©~+^DCn8cCz86c" mlEᔻseSrp