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 8#|\  PseudoHoops:threads=2elapsed=107.108cpu=141.396gc=4.216factor=1.327zXZִF! 9w]ŗXf1-/6vR[3£ˎF""TB[dkn*eTX{)cTt&UP\Wwő0`+g6CNytDNi6&RxTd dtn87PPR{;Aw5*qpAZg%I wa=2c,}?V(ͯD*ˉ<.5Ts2!t /g 4 '3;0$; KHn/q#!V̳.41l3"z_Qb؈Z= RӫȦײ/gF;`:jl)y2C[PskCܒb՝kna1v07f5U{8N|Zgof S(.ک]{^of,1dAu&a>N||㶉W Vԓ|-5KKP}nbrvzźurq72?5+)N:%њGcCޟ+Gg?[آ&7`4*cq칟c<nA^ p\B6x^  # PseudoHoopsz@9f%5d[={폒&Q`*RNKԑ5m2cW`6U<& .IfN, R߫{L/=U\[zO0#TH_c*"Mx% Hc a4x7t2vTH\-73 .@N=Î ͂C7~4$g|y¹-^ǴBrLo" @3RPOy.H]Z<)WÜxk4f4t~|+甫4U2?,k;+Uj`s;΄>rʸRML>VbQK'~ 'ꊭ'/7d&DFwhcfR܃ޟKm/H(%vS WOo~ \%!R0V"ɹndbaG3v[_+I_2Ö.#& !Bt,7"[ ;3wڢ {.Z=Oe9FS/zl+cjs~ 'F;4'dM? UxI( Kf؋zp Z3oI=QBgƟzP#QaYm7SlKeca"vi_aLƿ_%Dž%~<*(P&ܺpd6Uۧ/ vPEWPa1g Ens|A7d'&.^;i4~o2JTBiJ^e)UOXojr\>P47,ڝT*s uB܆p0@*=3|^w.?;mĤwJ䮙[d_JӨIkOo,YаxZFh;j-du8CIF)_$e!nD_3L*]!]J4(e_|G]rcYW\3bKiyޔYWҧ @&u.6BZuJE}@@^:UD"VW(vr4Vqީ=P|=Z1:qfB((W:*L~kvW9i>>1*dj'ݷ\$2d-0hK ]j؝K~u'$㢈[]*5;5Z|!CHi1T9fZ09}|O^xki 7F}Hr:?Y&E.m#8j߼Nfy"Fįyƨ`\d7`tޅ N06G|C Ǵ$!T:Jח:EDF!:NΛ7 V~%*n7Pv;gՀr[p?-V^]PB0Vd}?VSѮj^FbE*53uIC4P'Y M&.\4ǰROK)SnY`Da;iST743~q0Z Pqy]6il^hġS B]ZoidR(`JwH&F 垍vc3#RaG_UM ^u0}0Zɩ~H>C|\_.H J3UqPeμAML\u;֐u( VR)1~,o kZU/ %wˢd✮$`BS @r!aULnSdva#gRfȮxōYj u$R6DY / Dʋ]aA!<޿vHzR~dwaS Xi.Jw(^eSa.n;%;WxV^,(jYdN\`VT{7(Jx8ݶLJuZwl@a妮! 7Ji8e8iB(=ƮwAf6"Bpe'-w5^:FAoUV"7P9f稁"ȭc~RCOzqתh'ܵr4I1+yr\,LW "K$)LG Px_ !~!aFr=qg%F몛 j?zr|όN.Gm:|췰Q4%!LSmc݄ư٢ATv,쒐 ORɪ^=M'Eb P/ hT0|F b]M`!%UJ /nMVX:ƒzF@sHe¢3Tb*Habz?7Hr:[-zK@3:6'p_mYY%P (]ϭI a@2kOPsD`|晜{݀%\s:IJG5/;JC{!EhaKIqjCzX!h|2/Ov|ϥ1O%]/qX2,M7FǭmY1ԫ=qs=y,U= +9Έ BoYMU /虒,zTNmdDhenl\r^R!_C;w.djFR.s"¢$'2M)ḫpD",MاZ`̢m#$tAC@rIFЮ/9[~W&% -Lkbrͥ.! \K04&*u[\f&>?*E[OLTB1a/_zHv{Q.Wz]6A9m) Vҵ `xQs1EN>犴_.2w'e?(0ݏ@\.wxsUM(O:yx Lt,T2&ءF9_PvhiJ/Fкk-6ih|$ؽ HʼKnd4oj BOuΝbtbNl,R`e:hQHW7%e|Dyn%30FZ]#IRAsmH`rCZ*7'lOct֐AJ=jVpԔ7yr%;tiFJ>2G%3l; 23 SD߯4z+1ha޾ւ|8)Zً<EǂEA'}R{"kWh3@&:8a_); ÚD?2vEf缐9M_ՂPI6oTth). ]Ypno6-qX& 6פ\'_ywE|G)[Mc>*CK>] C`uxc ι;XߛY)=J*j>JK-g:1nFF՗@>'zsN4$".93^VT?@#irQrNi>+7G ᇹFq{sQBX(PVY3 q۽ky(E$p;$Z'$Wɿ;ZPo{HЕFzJQGdɛC%ؾn%JP%뫽[;#:䍠|/-[6M7w7,H uK.ՊtxWN͵\ cc<yY/Rć7otwƉd&hC*3Zu2=eqI[nk`HsNPALf |{̇Dn rRWBuRϜBkmbd32,wR]HMOfY\rUk<غfХ c1xc4(Yq Q4qGfCYqq~RY@c}vtNK׫d@^嵠4SYG3en*:1D\A:@W] dE0~jˁގ7LYNTb׊}tND[@zuhxd A&0jcXM⛍gHp(a8[ЋPAo#K^MW~!x0ZNMP^^E^$OXtx卨]E4 [Pq0Bȳno9O'ڞ*56wվ(Ǣ%;VQ*L(8bKlI ߱'BW @'4mTO7TnKM.^7nɪeHlGƀCY<'L P+SxeCs²9˲V x^S[ J=99b%Ce r#X QK'Jy +F᥉,WӼg$.f oH-Wq ,=jrfB$YF` Bd5,hI R%ɂaf_E If V2N tbGe'#M/" -~;Ʊ#ovWGdRhh;byREq+![p}Q;Q:P_@N#2_&PC+n,ES"ѳMՍ/ ~ 5yl$ʪ9Ȟ9Dt oʅXJ,?~[ aFާs1_ ;98=t{u6COKXsK-+=wo+]D` C} E3[ ;236t ֲYh5yy@2dm)x7m L弓s}G.&5iHΎ"h@7Sza_w"mh@T@d|i)(1pJx1^g©ülآ l%a:dH!x-<;9c&,TT˿3"a ^G۠lĭF\Pn]vf00gs]d~vqzC-EmN9j\zkv B&7KpyMf{k, 焹34e;I,#/ f,XZ@frT,-CBg( 7Qp K4U͓m5ycOzNKZC]¾'&q~#5+t召!M=(s@b#~ Ϳ14Q-w5nx#t,sXTk 6jM2!` !Fp mz}@v6zB_Zg%-.Y r,((Fl$Wiw}XK#ҋ#wiu)Bt4CaZ 85M/ɸVIӲ+cTzM,-ˉ4&qFYJNDM=a!*K-,[ZIfq2 r(p>Veݖ"~j;!<('6yr6Fbr*Ȋ8 +ifs+ 6l4I%vQsHl1DNk ͣ?tيh/VJ$>Q?Y<ĩJOꭟ2(m7T"kZ2=G4xRb4QtsI` lfWl׾de|zo$h4"S+ᆲ1T{u$R, 2p/j#WMDzjHp)^RqAjdi~.|H0QUĜ(k_GG$w#`VxOoBaub_F]r]v :3;_ATطOФ\x"kx%ԬBb. DNL **$T]Vgq كO0Y5<Dv!.|}[zXlx+Ad~‰z֘$jWU}-sݽřSJNS˱mk Vp>U"hw+ )\#ء*RK{ +"bn\f8l_)=nW PYAK?7tm.s{#bl(izg@\$UシTt/ cDF t3<5ak/ UD)v!مVpk+o+vg<2 ֊ga3F I.;XU$$yRgZj0~=ida?x,Wm(Kw# 3{'Vူ|Uk.z] Ň&C7p;З(ıgYZ024dad8fe898cc373584ca421d2f6ac517f6757a 24854fc6e0ba1abb1268fbcdf897fbcdbc016dd8 32b284596db1e83dc0ec305f42b3f193753b8d67 4e9168a4953045453908bad16f1b01e3adce7bef 51b459fc9c5aa7d5f68f1754d795fb09ea644e53 76e3c3c83413865d1c0249cc34717434bf9ee7b7 7b9c3934743e11d84bbdabd78c336dd8d4ab626b 941eadf4dae631ccd39fc9af15e74202932b7172 9a4a85368546387a79f5ba733f177705e96b7af8 a1c79c9d16563cf2a9e51ec07c9b698fbbb351b5 f647347d3fe7669dbde6bd5d5cd06822bb8fb7cd80f4c0c8eb04f92fa9b72ba73b988fd158f20be0 2e0269c995c52ae68d15e9236e33080611f663f4 ab5ea8ae8ede0a6f9e25ed8b7f84d4c31edcfd89