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   Q#l '/]HOL-Library:threads=2elapsed=181.233cpu=340.120gc=17.448factor=1.887zXZִF! ]ŗXf1-q恈͐7ӺV WQ=)"jݻ窅ʊF|~Wį73 2cOFi1E`RK (X"*OQɂ]?s~8 Y{Y1zXR7R߹ty))/09D^I3'gYdHਈJ"]T{ə .c*$)ndy?}X3'yz!dӘf{d 89[nm-)aM>8!2sZHD% /`)wǀ@h眛hl0< Q'QRqJ$4?fcEgO1󻽌` Uٰdx+_6>1;Lp5<\%?6fb2XϿKrvƄ B6#lSA<h)v>y.D08\f)Ec3'ʞ-k?Ԅwx &A)mfEBm& # HOL-LibraryhF HbBdc?oR#D*_9|y/\ˎ:«T0,7,s>\^OAA<K?ޗrp Z&h2At=nQx Cjc)s";}UYh [!*TOD&k+]g׏e w*WdΨ\&O =;S<3p 41KAO;k3bW asEzb XSM=K]shT0f//W(BDVu^uÖ|> =rja0-&fĆ5go".% o9 tㄧ. Y'r<ω+>MA #Ea4FY,68}gvtzWwS(u[j6\؞㭌te)J䅸;OTBx %0rpG>VP;2޹(+/ JkuSi {ΡI ESg4@iYƗ1WE]$˔iEFUu#!4\ oїo}!Ef8q'3RYs˶ 0;B oz%RK%#xE K:fG]/$Ӣ^k…sMs^YbB%{-[ʠq3,P!"6(omߪeަ}Tb.7y/Vʊ h#8~װ2Yk@ñ!uSLk%[ʯ+0{f-L Gkw)M*):V=칅`lD-H|u?}b-6v<`ɪF$FQ$Vp  5r랗?l^x#ZYN$Ez AQ>BD4&7CF/^.QBG~n|mkO-f4\*|m?h"jyMVW5WLP_?'93~vbc#w .aϜ<*7M` {UB1j X w4WdU©ZͰyTÇ8@6sӗ8)PwԜ0Qؓ'5~b\<.F| 1E܍ͿPmE$j;57nZ 5%sv[ui߱iUs ?ToD%s-ͭVֶO:WNnŽ" A`gQ8Q;7Y|HhCd*W9j` VXR =PLF"R*Зa:GHO4;G[ %N.3hM]ݚ"Fc[0NHHT9t:9 ?WSj%W,BA#eLАڥՌWep]4KIKʜAeR&!w`kDKpU gHXUB3VE:# bD\'T6f<jѱu%VnwŪhZE 1΄OUՒ >c'jν)^dϖ-WdہEo\ '}G<:^JynCMD׭L*agwwwyX< өѸxVf('{ w?e j-Qfb;Vk<@2si`'8s8I&72 N(񧄱o/ qsWk<ʓ-_J~KCԢ<~k~J'<5Ǻ/ySiʱM8pòZc^S+!'gXP|iܤ2Uo"ygYZ7zXZִF! '/]ŗXi%6SSiuedLOZ 7 `mI .HX5 qF5;>0m1S̺#Q$ϓ6 ((\qEĵwM&CȜ ڨ%b>q͛B. rg,ʶ%'^9G>%IbwԄ1\2?CEBva"{BtP:ͻ&Stycb_Wښ:2'{$?79NhJ 7 &dz%NHŪ6SG]~HGph-$-UA',BdoH KuUiyl$!0uk@ ;Z[K3+6 1Bv k*tsw|M9G_tCY*ݻRR0A!E|ϲrq#Cc~k ɝ$tJ]u^Uе4bPW^{30*VRܓ~qcDڊt%4Ye"FDՍ:n#ng+xZzTl2•x]Tg>De7cťx377CB%?LH::5ll{j xbϻu鄎ە%Ó/BmO Κ@tΠ*1%/~`>,\[ɰ?{NO@Rhp"URpX{ ZVk&բ;ֽJAJkY/) D|"lB[GH3MMW}Vhhhfw'g֤τQ|n/<7L8' n H^]'DݘJtu^9|y g~ƕo~3,nAri~R:2 niaҁW70t^;ޢSज&~i~[zƙ >ž$ H/M7#3}SG˛k*ѢԬYzG~VPaqݪb=p:9~fLD4q1fA]5֓6=t^MwS| jkltH_Nn0yK [?/pm,GO*D_ wgϏ](hoҪ;PGZ^Du~H*3~T Not-eɩO*dQ7@qsRm^VL;3 eCR3Bhʵw X)&+7 YcX[ 4 o8W8D9-$م&ZM-JXi"S""~$o!tO2+z١] y2N|4^gybG'Wj*8 D(+Kp0}1ؕh!ܙEB7lЕMk07w.ޘ`MvQ6\e̵>RAB"AGҘ:FӒTi]e踬9Q>|T>+A8f&NKGb|9R* SS-bDo$cqFPy^BQ44ӡ)jgf-[E;f_P$n'p,rΖSw'" ;q \C*x{FߴmlMk! ngO^NNNL,MD5W#U\.լy\A)W}`8> yjᙑYGM[ϼGQR?# V[:~?I]Qx 0ئRu+.j됂{V\(eN%{ JkˆS.[g2 ٌU{C 2] $sퟡٹB%FkVTv-_C;kr_ I;I=aɁȳu-$ozFb8$`)%bnqAZJѠ ^Z@楖*B)oH!dT3zo0㥰J #FQK8 eRdCXb 0#yG c;Nj`XHFOr(4xS/L;="l~]bK ۖ߾2n,_hk>(ْJhGȌg ECs8 7pq^|8+ܼe4>XԸN9yu03U` \%9o<*nLdt|0g68p}fc߁3 N)6 Fxu:>43<}CϊizW! o,>Dryש&z6M9dC}UFlEmHA{SAu^I)G5a {&0Tx_- IU̍UHNFwVeHL2;Wb|% r?23PB B_*X .'A*! E E8-Yz`+0)0-l,E]3]ǣ Ff|M.٠;oOt5j(KՅ qZ,ϲ̻0<V<5q& 'v\*ze/ 9No8X6B,]u9 )98sY#iם٘teWpqYň: GІ;B A!zKf觐ߦ@^|ay;oM2|ߐ!+eyrF.n9a=)T_qU_/ 2Ҹ<#+#ā5RT|]ѐ;*93L } €28!~͞V[[yJҾ}z'rΦGaˮ#m̠$1T zM( 4?9gO=*T <@Jfhz9&r,Ngb{PUR6n1APS)7X7'ܭ_*2wn!HH # NS'u#+q'|9@VNctjt~ qyl6TKYguk,\xR Y}wF-h.pQ,hkMl MIAަF7?;Fi4GPAiL,f)ѵ2f 秙d?(ybڎ {4䑀gUNsDMr<[4*.WÃpU/Mf,C6eC9՞Ϧ(i3`*h:i,s"瑉 hV؎N1Y}b` w`09a5VWj$BҊS֒LB_> H)ǰʼnS&W|ˀse%DWįė~20 ҏNl)N@u{?؇JV i"DY &w?4bouV sa|xf@yt~Pp ؊O*n]$SPzz ZW ~i+Q,+fp Q/ӴWh[rVĝ6EƝ[}K8X"_®BMvRÉS[V{H`@{\C{HMF5 !Ξ$B3h__HtCX>R8-]EfLafgHꞲZK_.TKpE{[МY=vGOmvK/S@V%žg:HJ߿%ħ+eeezp1F$]KϭI%pLQC-dЕHQ)dĦ7yueE*ۯ#琁 D>49#I5%$I͵fk†k妹~4}2\OG(q%"#%$Uh^9 nyERkA332S7H}`Կ_nsà{7saxqnزo~j?7tcg Iܭ׷We *D1LjHah B[EDkn0&b٧}s D)kY>^lKf#x --qP1`2d16Ȉ[9UK7ǀH"LÃ`1YpToyXoH Og . YM-zH}AF1|oJZt8.*gxDzl h|PgWAhٔ[E U'y2nx1b]lZ}(Mz{%X&<Dzc6LޱH3m6uK5pܘSv[qyUϩ]1N^H @]@8&p5w^Itc1x8yviB4$dMӱ,MKNc*@_RQR"JW>gHKO'|6?eUHl%{>SgaH;s.;_|sYJ 7JCKk׻of"l}@';yGqrqwԯ|UWʈTmY#^G )K+X]QBsnCfYwkb6^mh]q(ċOuK+;C<K%$5cASqߡH].k`HfIFB=&KCTc޴%xdnOBs,@[ڿs:=c a|-΅ȵIHF-Dk,Oܔe@ -2|,BX,ʹxgiTI;ŇZc]t7TCWojwх1s$NZDV+b<^란Xa.<\]Yljc w;㶒 %-eY^3 Dd"'UYYTbհ3#ϰΩuUՐ/A|+?֌uw1Lw*+'i59'v#cN8-~Pѽ -ɘȭ/ge8|f8juy*` C[ Ȳ;I/EӟXz։Z*B&?Ͱ3s#mx8rzK-Zqk s?ٛ䎍F`٥ fָ, gV\9( Fu+&\/ٗU,]G;,7LfO99/&DK-lcͅ8us0| -VWb񪗬6#8xEҌt\,0^+D0x|(K~+Sɦ>2KH$\OCmF}#X3_j|n~o= FʟNj:B|ZC=AE,{=Ó" 9%f~8 ?d~R3woj)iK-,o9cΞ~~orҷ>vo>H܆i:oUN aT 9sG0Ñm oZ}[{+4^ztSf* ߑ0/9{Y( 1H.@kFQ Ua5.PO0}AxC`Vr#꓏_jůCaA5%qI+)~LH(ؒ@1 66Ay}jZv 7#qL,fg0|V{bH&0.UK,u(}`y L,§š@uiaΆIt.M?%ɚDvMj