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 [[ ]I]CryptHOL:threads=2elapsed=164.913cpu=295.568gc=16.044factor=1.797zXZִF! ]ŗXf1-/6vRZ]^IuL` l^ϚW hxk$_I^H1c{A^m[s0Q2H{&gk8\Tzz˷Ho_ib+7sxN+HxBoצ/ʜ(X`\˂Fy;YX{;v`s |(~Pʭ-@5۪+韶-o6X6ɓ*^I1mk9lj9ġqض`~ kA&_S,3x*:Wi0&WRЕNR{ (;bX5Cۜ6: /@npUxcXĨ* _LQYk4 PsG up3~B&N9AִM_()$6ql>F;TM#Q?I bXAp 1 iiD9 =^[zY1h2CGS7J@} å4_g{kt*{^j$YjWR'jnQQX%-g\> b#yBz:{ jQlg4!{C?j:V7sw0vqBa$Ns@ 4$?h޳0w r ^ROl"3Y4I,TpTyOQ({Ar)pbWR=۔ݶti :/Ёbli, ^ge}}wVhpb;lXK%Í/¤Va9)#Bvy uz'$fIm'C6@(o0ceзFDA6}`78lU緎8t3|q*85n"M Jg,ҡ%l'9gEEe:=*Q9KndV" h,O^Sۋz:{׾5@\'1.z>E i݅ >"=Zբ`iWp*3NOׇ@߮lxLBUl7bwʻs,:aqWĦ˩gG O:O78:6Լym_:SUr1q>`܂}VhC%^oGpO%]ׄCmRS#DԽo@lx&+/8K")e.~!Se0_*iъE71d^5{nwsy?dm tR! |ސs[Ay:IThgw;lNd%8ѹ (.t!Sb*/B6 ~NXڄN!hLo]\=98j϶Zjt]-Ps [TYRt#ۀޞȹ%,pA iJ4TbClV >S6Y<qq[:;GMɔi#wEAwvIv.>H32+R1,̝=3bME*e6UrO w3R ֚@ y@a{h5=rCI&'uǮxZM."͝3;`02Q:yxt$딋[IiG7Y( D {K뎊L3/c3kZ /H5-EP ]P` sr!]/'ysɪ17h!÷eYs1"m1 GP go~qۭ a׋nmx3aքT۾Cch# %Ռ -{~c~I&WYASR#QݾmAr]5Yp҂j)AZ0N=9_,_dh @K\sPj]%3lTOw(Jof%T{Uݔ2-l !3'ߏNE2eLaYͬpa W4lS:J-<ȕˆG]6e4޸nP{s3y!?d89)z>n>h?@n}y}-m3-l揸gᵱ-7*tB@լNIA^;A.Pqi5LIrxWxIDOۭ~]+iӄ/Öȗt/b;0VZ&zO?:   CryptHOLU/ BI0)֋(RWMhg` "Xh_X\j٭c݄6 jC$ġƽK) T(a(g?lhY@ jjq|ىd-SgrQ;[2TJ=)ʆ03$rƘԤUW3PhOnڊ-clL.Nx$i")N@xr9O,P)*&F4ҸdyCD_yS˃hPIl^.f@cXoB3s| I ]z(h?1TJByeפ#2ړ1Y{N;w= a>b -v}ZME|Ulg Cll @nP?fWRAㅍ6?hyhpH.ᆝ>QՄ2Y1H)1 kFbXU%,7"pxV4 >wNW-B)ԜhEaہoT;ܺcGPiTN"Ujn %F+aS-QQ|Q^pZWѻmLO}f0oPah.SZUR8zz'˯z;[`W[.>ӊaiڛ1 y%[.af(b4s%a6%D0ӗ1hLz\̧ | *8+sǓ۶ ~| x(fa(Z}Q\͐RfǂPFf(%v:$WWF+!yBٽgg/ڔ|1#%PUdh>#NyA|vS&!Q>*%̐ɱlؐ\H`8[\֬x aemo4Z'Tv JsB"Mw5qV1󱞜2EUmmLuc xhzO7f IN*TjWmᑶ|Pz/g]wJMUfA uF1Ca9DE6cxoH$Kh%Me7m9s3cI7-ioAp0 GsۭBmw o%T@Pa2mV[kwTA0eQ{>Ӝ)ǪPj&_e[,6X7ӽHCvjw 4^I?~ ]02=ka|셜8 E0Opr;L֎9Fҽ1i!oꁡLNVCʈN:x+z!V5W~pRV/%,Rq1Z[b8}l ܖU0v;L+-O8ѪxdSzh(Oi4mlt+:@-S";d;J5dzK"qb!4Q;-̈ڊotƕc?t5`oe.پ V"(_(OTQ6Chqjk'$9 4l{abGNv U(W}J0 yDj=^7Yu*ޅoB77X!S""qFf,˒tp(0y\Ы*)m8`Fɍ114+{ Γ/W1w9olgeoXļ>GLk Ӎ[,ΏQ d|L`"#57(v0&Lr&[El3r& l4!pQt/k1\ۆODrl0 7[:+36/a9[OkҦ/H"mœ@'O0NH8^K>-JͿlxq%Ϊm Эˮ1MO4EUx]]. @  rsR0y]B142t2&X8^熛%S6բ< L ٮ 5q6߲x3iL4 m q'qfz+ճ!}UtO#^Jmӿa9}S@Iy^1ۅI]!}+Ot?i5DcW;3To^m }<fD-d-+{ >kd$jK@^N/*yYc]5Dҧ+'|H%fad#aՙh2>]`B{aTaEpk]&D4B1ˬM=ɻݪ![ ED 8GL%0tk!LAdhOȬYUP9[2X sH+t rqy|83gz@$'EY1wG&5jY-_( ]/K WCMb "i*U"2ꃱ3v5Jڝ9T޸ahi0>;`75$nn-09JP+0=%pSsEMDL7 %/ܟ^~Z}r-yk?/pdő w k'n%GPǯ'TB/4O]O$ĕ]KN |c5FLDݧd/47=Z {]Gqeҕm=_3.<`ͦv8B8\ՇBɔL8?:vD[(fB|Y'l c 3H_*FoAA\<bz15>$ .?0T7ΡOp~M5Yv:Sd 9j S!2n욵S]tzr8u|?ʷz~DsQG詤αs js >% s<5ٳQk2'{M פ |v-5z Yy~0lCHѤ^}[I\sgnBHh ob\O@xs#.%3@ /"zec O8iE,&qu8~Dk4?=! s(SKL8lt-hZpE#=IC;sAѮynV(#a.olwѺ! "e>P|$c+{?\u>.P,](=,';iE#7 ~Բ3G.@zGӫzZo4lgD1^++>2( xB$#8т齎m7Ky)JApX,$i >!vX$؎{ֵU4b lq[9[l酀dI1>}q)Ev(ycdɍzLRvLՈ IR7| 缫 'c> 8!r9s72.gsQ:A ߆)Bb 7]!U$SW"/9} ijQ3;VhuZG*P+2ҔE`eA \gQ`ҁt@Fx!(.Fy8;r)U)e h!cu/P{ }JJp 2,2:rKQdJ Ldx>xI%P2Z"Hw1ÂH8!=a?i۟\oU,L$,5K'_.cm浵Qp]\뀯{跟yaŖ9Doi #E*kzM3B9* V&V&/Gs4b"rH$BI,WΦ;㠌b  _d; ysFLwR ~ rRQzyHcb=ii/.@hIⱄkC7Z$?Yx?1[F@xdcԊpLtPxt(VtwY! H]M޽ `qbo}p'F2juʴfԬ֢oE W,;T8Ö߷ [q -v}ſޏ_6[Kp/ Uƙ _bqy|9W5(ZCŨDf$(Q9\ đr9WP=N詡Sd=iZnv[^ "q"_Qm|5hʼnmip6eLVf|Gap)KJ44,m01/_{h:cmw?T5ɵؿ_c$(0W> ?ZnZx/sle4r3/SfiNl/4sXA lzC<1iW!ݣNc̯>i\!z6]><-r6_:1jXA+{yP=TVjBjܞddELE`K֦jU 9 §*{ǓRZ>4U\w9ǵ< HSG< {N HogA-%;{lvvGd[+[=\CCÅx/T\J X2@ϣ5"/#=1no(MKh<u.C͝w pKn[r67ܼ@lF.q 7 QboKnĘO6fE;/'Bk"gK& VCO)\C+YJ1-M:;4Jo։/P˼ωfe핧weҧ{QP *ݞQ3p7 ٦kջU&Q`2 ^˺grCFd$MDc M༝oՕv9gIBcč.2 u_H+b!P\Cnrtz=4*9yo@F~xmƊt811~_j}apR4={#VQ@O89 Q'_6O+FIt<}H!npI-L OjU|4(9x_b(2lwڣj;]K :kRFRAQn%Y bCՄ;nEMl:WqG֗ Ti.n3\p$ r'@VIV-~+;EX=@u@.6!ӂ&t)O9b=~c ~k:.˗J~]U]@;W_1|Jc4汕"(GÑ1X|,׽w'G̲Zu~r~A\܌B`bc "#Ouzp7Q4 )V/Fu ~DFo}k!ޠ IZwǠvE+X8vSh%Ɂ)JH? T0R\)/*W x#3nk@aO5ق*=6Sycn?HT~Zۢu4E|qNsp凮K^)n+ {Nw-(ќgֽR,CeN #eS7jT1q-5IV55JJ!EjǓ>3cK\|,uF!>ܬ]|Z\bT [ܮXoMӘK6S&.ߜ,Ȓ*ޙd[YdH?>{QΤ]bԼ \ɯ}3HowU9}c SYQΈrb]%mJ`߳d&]xeGx4'l>HB Χ=@Dz˔|sN.*ei<̫)Jx/:\5jPlnSx#ÙZ;[Oc#t,Y-dJՆ%z_aL)_kp +6_TI D5 [JG4}L>vWL"^l'1ļ@%Yٔdڛy;Z<'\ 1s1Ko 0 kҬZ/nRҏxnsQ!lNYq