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 ! TD #%]Launchbury:threads=2elapsed=49.615cpu=90.176gc=3.016factor=1.827zXZִF! b]ŗXf1-/6vRZd*^6UaMWd)Yu : 6aF P9D2lm4۱ItE1m2 a#'TOy+Zd ̾ 7rPmQH~ ̼R 8oo;m{BdLD7[,} 4Nt?)aonbDHMJq \j)^Anh%tϷPU%DU D7"W _[boIVZWG'k&?}ft:]HQW4{2/1tjW-&ڹ>[ChhIQE?߮I_9cFmY/~D ⶨbZ-ͮ{'=봛]ըNE&:q D3n~%i9bBA,#Vlꓑf;jGÎ7\d.j %4<,B2ؙN#(y+N|ƃ#Ft/sZ)Z~RuEA9=lfQy[{|}(38]~Fz5VΏȢO@1 $UYo+G웁C/Xu","G}i#i:sלiƒKtQ /54*`Ü(A۬'/E0L쑬W_ /ooSqBOumEJ'Z>& 㱶Y~3-\x)ǯ0uK#T]y9E(sqhOn&_OS+WZ[ gl(;3jTRyxm~,ʙ5xN*K뜉\{Ic

ke&"[q,bSjxi }p/ffI_#P=7~~l/[? ?.~j2ON89Eb'uߩ<1FTz-:qc^xsюkեu Gg qAVS1QwnzggĐJ~/ ~X}Ԝe>l(>OwXϕX%rvij!_}uYV$bm]2B Ib]Lh {m*xWo J`M\XsJlv/\_^RI{*ٌAZO p(I,`Vd3Llb?g"O.씊5V~x %`i$cPx>3K3Wo%<XMlg$=H-~6)La.>LYiSs#8݉3#%ŗ[NPC]EsGt$P]KP`=EeTOX'(TȂRl \IyJL Ee+MZHi-]Uz7T|g>?a^n@r_d~dΑűbSFo-pU1$JA}L% Ӊ2s;?ެ+G&Ae]3bmlg!5܏xeJ:!0Bni{4 ߆׆;O>qkȽȂsHҾzM~P"=-pGX~b^pTLjY՞(ƥmNSD3}Dl/E6m]ꕝN,I5^:lq_d,sxhrBdF{c]ICIڼf$gx\h1`t]*~Ji;-$қ$h ]dIR/ ! 듾L.}m|'/K7‹oNejef٩ 3l:9Op+b_8tՋ 'J0 ^|:oĥ?#d f&os!.!j3a3I ߝ%[kEY*0Il :^@M WBA@.HW6Y|  ܷBsgTD aFx_3 >!z)P)¦(3OD"EIQ+d!l|U 7FUȻme$J&>ݱgՔkB8O a1^6 _/؝{M;%td:W{l_(oH-҈DNbF , h-$ ݫ@D$.z?Kj!jz5i]soiH7ԇn,ם~w2yS?x,9Mk/}Ǩ4σflG\}szݨ6 N:()oE5jt޿g"vL qs%ah8Kx[/+} k4`Nje{#mnn{/YuY(A#ǮYR]wV/;-&3reRزg|HW' wjZsYm1Q9Rγ>t9ԔQ!ߗTtWv&3nz_x/Qgighiv;;Vb$Qoafb3D)m.7 J"ΙV|Sc@mgPEw SQ$%(K[m|Ъ(#|L FpNH|8#\U93\pvKr.Sq.BpC9To["IYus'Xڙ\+I,ASU؝|%W>:#xΐq{esۧĞ=)0$UkcRW/-BSy%m!Ű>C 7c_san4ۇ&,@^&5Ekh7 M*ܘ\\v7y&_π=ܐ2Kt\'a$nXɪ2yt3:рu{G'*e18>!ͯ1t'_?%}MŋcTŨhJaKj2<ߒCFnMnjw"IVkhlK>zp).z "^vm;e˂H+1mrgybU U.NVtECW3Yl(#^Vm8Zr B%2p}'H{-ܓ\:FIjł W8DVLS5paFgs ,~MEz̾ x,n$IyWSm4јA04zJ2o5jts E/ +x$Py~L^ !3F1T)} Ⱦ';!(~ßJm*ƌ[6t"Ҋq,8qu<\e2P"f DJQ1GsZiuRư7o kk>u>q'Zp)w C1;q~j)'Ձͳ xB&~}H.!?_jVk\$H=`.Cg\1,.qj$銬̯/H;bh'<`Ε(6d/IYtsQI&瘤/VumHY4V5WS%^C/2(p0#|G~bKS'cXUqPkbvni5pd#ߗ7{1 sUlt8O2Oc[蚝&a!$BG-2s ]v+gJ!gr1}cP(+:ɩĴGsZ5(3@фe+FaX1yRdkAQYm!x2iӛ$njJ;~ڦ+kYǤv Pj77Ԥ 0eRN9zUf"WrWwo٤1V1WtWr9dc~@hf5!Y 섿'X!^)81Uݝ_t8 $xD.L/9yYדּO,brKV҄nU UC!AԻ0 1Tp+^>R)LWqTlq7N>Fk6g˸޴*$/vDw5/~ANvk)'P G$z} w=r7M iѩ=.ۢPd=5At>(cw['`{؍w&!k!|ltTh\ٕ媻-Yr0l' TLa`#je! φWwc~(پ֗|k6S,`.f[O{ZGJN gϒ\,m MJژ a'G˲/񐴡Lg`qc^>cM±b@pT(Se`Au+h{b)hHҴ'u2 FR4Sn{5Jd+9ֵ}o&,j2hfQA[E5"|ږ1># `|,#-E=9 j-Hvt K~zFC\[- <&͌FQÒxtgdn`;dYPs80% RkEX3Uۑ:m ͻѣd3A+ּUr2))iwV.9`a!܍< o)>[Pd]\N"?~z܇ZJ "};awe+);Ja/2%sE;^eOa!EMI5w(wֵ` #$4A/Ί>5)'k X'qV9=bU ,NOLF`LučDi=J70 9R!HL4Pr<}=RD.5;d̷V{G^(6 #7R򒂻p9 |c8~Sr(NW}frfYRQlo+i?$lT"hke@?„et~A㩲\]XYŶD'yq5)π$os]^;hz:x&D/֠NT#BBʳ&|Cs݋:(lRYsP,}&f-9.B\8A %'/}+m'O؇+.-K$fٝAl]U+b)\6T!/r<a?~r:|4?د j* 33S9!6?ܼH!<m>Ԧn^Lqn`)P5pT.`8ƐD`y]gsg$R0Q٧ jMK$3DoySɩȮP\LxwBNx\ֵ@N[mR|نҕcr|\/..دv6@<@}d ~خ27D)@zRl3jPoBFTJ r4V#$dȱ8(lZB. ;:>p k L`F(+NK?(#+Ɉ\!0fMXZV+ƄҫY|@. S:>D=x7Rh R׀+ $#(.93-0cu MMn\5zVH4>"rj?>qzE3v&LvK(b߹C. ;Xo[TwIrmQ,$CTU˅$ e{iQ'9;{!Q!:-o^pcЩr+bw=m׀ 4KÓF$`yXqA khŠa)BXhU>{#}GZnli*Bpo(?Ab` I}Pi͝P^j R@]KhHNy\IE.A7sDgJѾj%TVB EZd|N-bxr47ӏ(