SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info iidd c BDD:threads=2elapsed=74.144cpu=136.856gc=2.396factor=1.857zXZִF! n+j]ŗXf1-/6vRZj3ZX7f\{4= EK#fdD.vgAtIz]y<{ =oUGO6AL N m'I͉*V4c7}a hfY/k.kڎ0iɫf.44U=-]J%%Hyi4y'F%Xr908|| pR{8[Fir ~\1rϭڒt8%2@'B[ %OA~ƥh!^ziSqÜ͆ppnk{A4pM%G;¨u J 7^цdDBIs$5lr$|hQ=ɈVc63 tUfvC1rKGf|6+1;0|OxT6N 5ފSdJ:;aδ#U;#. { H93 ]_KZgM۳gSz&4 *SzRN/tcRdJ!~my I,6○g4'а#qReZ jd[֊޻H7jRV/pe=h3)[c9&G$&YyƆgZ CO,{HVr=hqӺý-Q*k\-^ΟRH9*T=thEQNtm5h`#AvW;q_0NZe,  BDD4T{5iǬWӄd' (+vv R<"y [HD"h/)4$3MvNrbgI8ȷ<}?AdiYYX  aS}CU+)PdJ #HFffϺ +mO G%2qkU_ڨ!9 Ph<-0}לN ]i^}MeaC8")wÞZ;v(c^ TW Ζ{ 76v4 ,~[WG-~Ig(degYvQ^˂~܌r~^čzlG'5~m!Y9KG5rj˜ņAE y}3Z/h$_~J*XD^LT1NhVͰ4 soE1#Pfev1VsWKwr:cEF/7i_QS>οU23TIFT'v\TKnfC  IcOcBZ{48}2Bp`SJN4fSN&9"e|SVKn@]$B%8$!rd jŒc><#˘~FgLOx}&vѪ3yy~wd.@̈gX\ۿMF*"aXImgL7ZXb,Q>m!Y̐YD .@g$A84hDߑ2 Z55 ͚>dz9_*1 Qfz|+*B>Ƙmvurzpy^~@M^cn S c=]1b%uԿϢdž,,~;Jop3_d $uzB_$m>%Y\mG AkESsUq-3 < aĖ݇M5 ى)G}3ÖAڋ1j;A_x#F]qF*aढ़tݻc+o[ZrǓq,>l dT<,i8K0Vn| c$1;c V9(AY5MEE >_;fghcj1,wAͧ\nh%&нg|ɡRp^kFfO=AWzL mH4g9+Mu |UѓH+Avj {tPV9e.Ďhſ)~m3:PI?PX6->.J/p_]yL@n7SLvpG0=BQl܌[vfCz"'fJy+?(*I2!+Ğg hiy\]ո}(ހ"R7k᳌nT)&vX wеb 2z ޤ*r}9j|Mʷ8LV>6E9e-{?ߧ_,ovxLKCvي3~r(7gv>)6}x !m|x>wecT>}8]] !)-<2vߑ0 r<6^2F xY'3+wlZ`S"i6}DeFDDqd9].̤sˀv+"K_GwGhx6|ߨmd6BB # O'qE/zgQ;"j, m$P?><:n-,n F@JdrZjr AXì:_{WqEup7qjI8BihGB,{<3MV.[/ Sn'+ EEϏJ|++7a2!*V2 !y MEƥA48ZK7T~W*_b-Kj|CpP<:RѤ4 /X#pH d}`)Ee^9o\8q,1JA  2i&a7sK0 7I(\4HH04iDWg #PQ ޕ@u#g,|&WZ!<^0T[+Š{*>Ƣ͖d #o_t𒨀t9^qXem,qCxnoe(q*! ?8l-p`K m=YUW˯(XR  [7l<Ͻ 8k҃fUK?t TrjdME`O睦}͈DU kD4<&밖Ӈ,ƨݐ dPfA']/ncbORMqHM|`fp LӠ m@}:/$ 8f'Qm »S(P Kɹ*̄SRoT' :7Na#٬^?%m6u! ML !ٚ @.wEOyդ(Jiԩ\S;X_6߉ŠLG#[&5:9SB0r+E⋛R}IMo줇m麏#!ckD۴ ^XMhd/ہ@[#MF;d2lӃ<n;.PwI:oJ6 e(YL*Et. G̭c $J#yyϜ-hY--1=yⱼQB&)ξ$ۤiOI(G4;A3M;ڍ(1c)AV}}G9yZx7u߮b8W^j1e/Vt.t 8;SHDLօ`+BpP( Fr> Ivw~F-HDu\"%tj2dK9m/<)"A %c9 IeAb^>e +͹ɣWG*E8hF~L`=RK֬4OC*&AAdryLSu2C>A;+MR$" yTYձ"sf^U|4U#x̟N?8 +9.hW!%+ d.PP,mx(GuU9-3._mՌSA$âF)]^ :7T{`ܔ}wlwUS p b 4ޞ@C ś#;Z"Y|rvZrC@NFpPdr?M{T˜v-S/vٍB-BHK*&p*̘Z_洦bhѵtF [T|7ÍZǴFPCfODun\}u}}f2DnGL+6c8!3rz$w=kШdc4ȟQ5vk}߯4!(7?Ca! Wk&=RMɰR,!٪+ Ak(]Smmvw8{A56qJ&n3@iܱIqF2Ko$mpݰKlB4ܟR/^`Jˉ:[Pi7otl|߬G_gU>:%$ѓD\T`#Jn&޹uGcȫ LIޙ{m dB| mx(}|ś4ɡuG@hfϲp_I|~Z lA5( A .&õ`7ى>Jlpt ZObÖGEJaat#&#dgF!rߞH9J`YCۗ 2pS9 YR}zJ!G8qKÛOJCǥ>@YoB|E{0zSwuj8H ,qa5}np8N  Sst[0^`~fN.2R}@93TwYRַMI*jVڃQ9Yx: pcBXwb0PB] a?=?zgZpV}#PcQyкoGME}@X?$DQ_Z{L~k.ϖojU9cZ1_2_\Iۼ`5_*P~UU)DCKV搝Q@U e(\ 톦ӑ~΁7ry\ݛ)ZTT1u#§Lހɖn.=Q.1H&uz0uAu5y}v)f.MA0$}Yf MWDr%k)3mVL`7&S}牙(_n1|/.ld(F=́̀/`iw{dM(gn 15Xc- ilWh`,z&''΄ :pCݸ<<—m_(v֚d$3eЯMI]Π?hz4{1Ip /@ȸ)+bxkVPk_Is>@썶ݕ{W!ۻrUymA\eWbN6-4+mULw AG"m@-Rk^y_rzΛ:" _fџK\k{2Uf!̱4Ņ%=dI݄vfq_aa˓Ëk˺5۲k䖁 H_kJ>`(>g@IO&X_ 7VX<,=TmɈmRo.10Øϰ̀ ӉsٕĴvE mʣ|`Q71-$ [*%ͺhyx"ܞXaԪ {@uVUXc]|us` H)Q<-(`m )41tێӻAGÚTj Htzf+p홼 㸑|b@I$g*JQ~@aG=QOa2K}.T| c 94f2!S&d7"gYZ7zXZִF! n]ŗXi%DQ.ngFQ;u8k륿p2y׌3/;I>SKha-)gXW>?uK@;6k 0~_$#2d5o[ *? D ;- MR'*70*]l@vX$qXNjkݩQ$h{ eC:]`U8ec Nbd‰Z/z B%D?Gj@iȗ:,נ{2Z'6bjX&4Ͷq'M9U2Qoﱚ,Y-xqDׅX?wXrCS˿2^?tOn|{YVP0d9Z83>A{7'l#ɿEC;'MxP31^:\)BCCgoI9кZ^=*-ͭ#("|q$;Myɰ%PO}Vt+70̓ӱɖ~Y" gěYûGu9`30Fͱ );ܼΗ# 6'm&a5[or!v!@Z# DɎWQq10Fݶ3'x~R-"${sūlKˬK@q\M7z@&XbW6p,xEhJ͸IX#d$uK*Sd$8nh zjQYo$-0f2!oZ`xYY9(Q;V&I$e?\R?Z~*?̒Wnv?x085G1;ޅ影^^wvJ :]Rg!&AϏ3:-q)eVIR }&?~DY8&3'Z߉b\/uuJh?tst`1b7Î56kQ>.U0^ou xCz(C"ABY=m0@!gh?9#h'=E%f>n2@A`SrLNkh$  CL/DWwl~!_9qfTjSh zy;?be8lMQXA$Fu*;/nc3>h iY /CØhJJщI_at]: Yє.Xc>%̾u&&g?]v O 2ҹ %s:77fkER(YhqX*3;75뼍TC?E-i9 /U/|FuQP}u~[tDA =9R4NĞ(}4%#@Lyb\l9+'a   HG@߁z0h9r+*՛ O[WoL$ؘѮi }Y369KKD/ov g4ʷǢx{[ `O sRT.#iG.!%Aq.Elx%p U ga&?[M#kEzb3ulgO; cU׎1%xiH&i9;,]h/X)tUi[*{JJ&d'H ,CRDSY#]C(&qnd"?XH`oU(a,+F;gGI+vrΠEVp/xHf bW#4Ȕ2qȍ8LdmfCN +v &4B?w,K}$DEo!6O7j/С2f8fK;p>:wxy_{ZRwiShfMn{8͠7Uċ [U5YdHRH;WЌNwCw/4$^T-q{Q :IPiVazeN#3u@,o=s5,n6s''udȅ5V*0eG6PKnX hMtKpsf <пhZ /!:ڕصxW83| vI {=6Uhx{ɪm7%z, 1_*q4LJHMsdVb+"ux2yHv]9zijr;Ɔf L ͨS4aBs-7>`gW(b.RܪJ iJj{(}Y.m%~Ip$Z:HNF'ٍٵb;(lh}LȜ6v}\3^lOܯ镛2msS¾r>L\ھGJId=5r"m"8N~~&% 6 2Ivnaz~8_gl ]+Zbd4~ 3sFQu䶆a4@l> iDjX?Qv:D3 غ8.ЇC##<鳧Z )$O[DDBkZ k1rr$Kq(~iQȥihL A g9c m⟗2%!z:6!7uKʫEh-Hi ).A<%G & Q"דw} 3}5(hɘ &c0 U6b?+ HsbZi]%se vlj > 5Dσ#=.hlA:PU$qD%IH 6ؓTlj=xTa w EY]' "moJL:mFc$Dh'ߖ&R^$Fz.5l[1Py0 QG2l9 lvNuoي"$ݕ~++O&%(?]+i vfƶ (څe %βjNkYi IϯČ-= YK%@CpA QF)`Q") zm~:-6%:-d=<hu4[185h;rh ANnۑ]#[8m5Q0/oս?)횶O_H[+E~_z -/?YTy^=uc'IE'04Jd*4jغыLh_,MQ;UtCH"=R7) $n[X%%D=Eu`Nw&7-kUeUrL8[ ~  >*/v: vR= 'a"uy_Ă ŅM7 !JA cG:;c*Ė>_]ݼ̚>zX6 j`-`p]aGkD2_ҿ}]d֣Ŏ>dݦ>zZ )02!a(ifJj,rWd6ZE6'DKP _߽~Nj|{ٟ}G4Yڍ }콚i~] Cu&\轌^w At&Z.Е5 WllZ: rɃ:^m@08 n6z֕_/is?0LR,U&^yIܹo91E$Gt