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 *? $ 5]HOL-Computational_Algebra:threads=6elapsed=31.401cpu=97.020gc=4.012factor=3.097zXZִF! ]ŗXf1-q恈aldC>14aUV#/|) jUe!Hpcv`8/wyis)xr-K6C–V4C_Uݑ9ýl,M2֜SKTRh1,nNzWj"X EF[%g+i0 ] z4 +  i75CsQ_^ rU,s_Ԙǁ=[p1*3 ? HOL-Computational_Algebra{j~qzC V:FtM臶2le.\ -I [;g:[21+W' {H>D.P^ʶܞYAǹKj^1Gkr7׫3s0%aZD~ SUℚB ͧ#y潢p*ܖ' iy:h '+@2pME LsY[$Q%3>V3rDx!eo8)V"^T)_2tqK{PXeox8F*@S.%kz'A?U9(X5M {>%,߾MHm"-PlOː`j-]̢(R|q\X'37-0l!r~z=Y";*hrt(wEČshY**!maL%qx#D}ޢ-mXT=rr#&N 0"G𭓔bVtH&8"cIdDHomoQWȊi"3P+av0~{&K^(fly eeQρap1ڢ0d۠2U2b\;ݽԝya庸&T*T~=!+S(ב|ذB{ey<(]k,{xg?W+[-":AeJMT#.H*@M=hŲ}dLRNn'|NG2&i(*^#d$B>F)#YRw?}૒Іfkb+w-cLklT+:Wuң-G>p/\<"IGv ĔhJh4i+b#"{5Jw`@p~)=Ӆ=V5Tw>w׵\\ĵ#֮_їF+mJ;`oǠ~)qϷ)"hcuI7rTHVguo;*cAMޝWUdnR WObH} =~!'fǬ U,[ n'-2"`RmZPݥSֺCO-~^xB9qlKݬi#~!>J 'pp@1 ELx(!? syED{w7_r8*޵ՙw]8֧_g<~S(,(\"H=@'Rg^g uaJڸ][TwK_i|j,.CY3đwMU{؀`kc!˩m]({[+t V6ґ/ae?wǧ!HA`Wۆ-EEu\)\WmY߸ ZK is& n3v0s@荅`|D-ÌTem[R?H BhJֲi Q}eRzHGD"Dp0t dZ0A\8{q3p1о[;R6|ܛ|*(%J|f%u!k/O?P1M dS[3efh[c\4661e,- |=u(!+ƄQ~Ne UhK6 i)vXÿ.Z:E-m^Vm~0^dگf ذ)wiK˷RJ<;Ҥpҕ"tbAW<~vO5u5@({M![*++(^SD+,W /_lFqRvˎvJN&S+yGmD6xjzIMi-ˈv~? 'kʩjH%=n!FKT?1>YUC{)ڽ}d:3ѿL2ٲ-;o^pyAY}ihw^sXru:H9?cXqV7Mv!+W>4f􅿘ӭdG^h5EJ̷=ض~'gLxУv|`T2-KzѮ%ӳf7D[m1WRdxX(fx$KLiQ%i0hjHF; +F(lkk"M6w iD[B.c`kYy<~f=|كε`rE^Dol}2%WL+T<9Y@sD+qjޱ:'x 8aa 6=[͚ /ྺ|03jbDC -wkQZ ]W dxd2=xOC~DXiIS3B'QiBV`kEg6Z1Lۣ5I T06u< HQ^p\U/zGmJA j mu/uG7NuͼLݹ.?PJ{]?7fA0y0cD[f xraL0vvtX#'g4J)pWb5vb?nC5}TO$BٶW H9 HXȶ;ץAb <||kJkPE{FM:ͣBβw&|̔ -sN|ZX,n9e%W%fo{WEN2kJ7*,ѫ䈪K\/a_~H]?xfGi3pz* "g =E.WTżY5 s|qT`Nڇgp$p}GH)PѣϋRD$( W>ڜLS!qEA͸7rVbCsyPW^yɼ;:R7#2Md;.E%h`!өM#ieQxg%V~svKIjH*ȮqE.>ߦ ұE)䥢-IYI.lSͦ=~1N3s&6Rrd u9I;sCf'4Rn|φg /UQt}Λ^HGm4T7V\pd9n,H瘒OOi ͇dM" .4Z(Ug/&.3XlM$. ~(v#p0\9(Cq5Cn$r#g2a><&BHݞĎ ɕd$D.Hth9N}1،RA@Ewh^Om m2V zF\cR/ma݌c҅ UVKȵn9`Sc [j߀[՘22GͿ b>?8Aq;[3%08lje g2v#i}&>SeߛŖk'3zPO▮ U=is,&9 Lcb :I x4b䑑"g:Favaᩱԇ't%ljG W)V% e~%>e-1#/ц#a#O*cT&,{%~5Ш'k^S ب;rI#0dB.9*~* +/t@9 Ss.H+(`p_ xOSO.-Q2EVg)Іz&DxƕpL=!>7 Jiqb7Q*F>V?lǻu7OkeJ4]2-%D+TÍ귯H LkƷuPRE%y!2lLr]n#tI1*'5Qn2iA=kñxo' uPXPkG81v$jDdAS\Ɵa==6mM lHL2J .g̴Y-~-2RQ8XJ>/} jR>jEBv=7ڋ6u 4wl]FCQv->&0׷{K'p<$i5t✤)1Uq5zN2 ZG rNǝ1zѢ :' cZiAXdP GF>#.T O(Qrq%`tN՞dLI/Fvqѯ3oW12MZg-`QuHצB"\g'[m5duIsKCL^5JdI5ӕ eIƆ4X_~neܨJ%[(soS׈윴GzUChx5"7BX]oA{ h&#@peщHw}XGfP] ݈C W)弄)#(Zof$5N]6@uMҮV)}?#3>s1hOǿ͇I߅L:"]Sj^j"CoQ=~ҝ'm}7!חXg>F i3Qste^qA=Q5xk@CׄРْCm2 Yx۹%d'ˍxbר%.ǺkJe*4SHSDA İ<35kk[G*m YxTg|`gkb1v<i`]&l [2`yRuU$Fy3,(anQRmįIiN3/awC3..=gUW?BVָ-B%8ʸl6.\x=C#pgH;oLRdo_o1w l Fa!؂ GϫW{op=1ayEzԏosMC2|ܱ}$ihOlA_?q#TDA~^]25h3aSj``:Z@pcIp#Q>Mxn:ZɫaIǚkN_b_阔$;mĹ}l>\XѼzܨ|ݞiBA,34H*EXFr%z4ʻ e;7^@ݬ0SƫdkI $@Y1ZnR}W"noxEoO|oUq^_Q#sr\"A/y]]zvgg2U[ GZL'8< 蔟]P>3#^'K%W nBt^tt%:+Mp9RrK)>o C톓(V- 272?P 6Lr(HQ;DZ{gYZ7 zXZִF! ]ŗXi%yF;i 3{!ި)ksx mLl5BH bq)&[SOv=?~6>u; ۲/9ށ-lV%T:Npd{} L~ WEmh P(tOj}bȗ&Y _d́>/#8;J$-A,6* n4LXY,팖"U"FPEKϾ 7n{ y~:So2_} 5"~/A[0P!ˮE ohGV2S:1Q ~Mofd /L~-d┟LaI'{+A̐ }CA"n´j>ĴɷΩ~pa)n>́UmgL#̈́O 'nc'!"k^7;GIg9/"ߣtD l*O-S ;Ս3bx'796?Lљ