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 G t =]HOL-Auth:threads=6elapsed=63.050cpu=286.940gc=8.848factor=4.557zXZִF! ]ŗXf1-q恈tMm-7a2B1:Gnۤ{:#b~N'\*dę^H2 j 3ʈ^҇$\ i{#ݴ+b t@m9HVҜy.4ʋ@4{&iϚ[:kYj#N'c5@}3S.`(RVf`̿Z`4fQ=Hc!(x\]]#S hZku. 65@(\rcE_nTF|YfK}v$\eIsb\,3RoW_k,/J5R+3%:?nf;^ Z6Do3q[#h hkn!@섋)?"ҽ LjʄsXM`!􍜍؍< rqKQtp00Jaݫj8+V=UOS&Aݥuxhv4.Wqj3* 1v2H3$Fy֦ UKQԋV2m\<]P?o ZIk!cp>"翲6mX S <;Wf*c'v tLn+ޙ9Rt@fKJv0{Ir3[pd򄊤0[hއ+nS㾞v8H=63\lH+) .}~˥Zsh"Lh!~4VygbMoN6DؠaMyp39` ;miV5QiL~ԣn\|TwwqWpVрƠ #~1W"W%y= L҃'T/EllJؚN:񦏈Â\\z* nA >.)e3]`eO3.WE^Oq+] ڂm^*^ b۫ځ `fieV ƵOpp΋uGaM[WcGLDq;z4WMEwΊ7>GQ]jgJ.s޾0@(;zQ \b0ܭ%Eeܠ⇴@g-E|X^ U` 1@Dh#q34*vjg(+rx lj1F< 1#"o>=NU]*.IIb87-U4Jr.hVw!m<9f?7WmꒄZ ҁ%ӎ%A͖^]e҅9`JZu2g&2#FKג9im[:Che1\0~Slzǯ߶.'Ca'Y$F|>QPm H8& %Y8X,RG2g#O/ڇ*zL,e)tysjW&V5oL3#6x!ߤ5R9M=!fM1Yvb34!UoVяukF (vWVh0̀}Zx_z qA slRBd` .6 QFaP]{n!fizRzD+w¯va6% sf5av08,}QSSnؗy~i1+8Lp`)PC"T8\ S`1Ao+ݺv80@3(ؙ6 vDԑ$Ds9D{FrPUa}Is<ˍY:75Oik+5Y^ry[/D)mcճ;+pF.R:\p:[fF$ 8ɦ}x!sexZݰGF%gYZ7zXZִF! )Jq]ŗXi%6 CdGZF/ uglnZއ9s˹f qIH6{)0Emߨn`LvvǥQ~Hf7UrCR[Z:G@Zes~}PĶ[!Bo`yB]ТEߞ`}|/nI7+LJ v,o@]>ƌWG9 Ht&)tsZB1 jT@v܇f >OWfVͭIPiz) S?iZIVHqP?Ąx%$]:O})i٬8'Y`,R`OW]o3C{[BFwP2[#5KKDeT$`:s#Yx 3ÍLƬy Sb4G75 0)ݘى@K\ n/lӎQrRLq%޳\!*-Κ@aUuϿ͔-ivDHnL` :T]70#LTUN#Vga%.P L+t]E! Ap#癿ȭ˼DOA C'YԺn|@=`$ )h& x~ANv9&")BF)ÙnS+ ܾlxq|%FoF/ōJ0:1INC&ʦ$$0N/A*W Iµ~ITY !^l~lp5O&0h$ɠٺoVgH[O}$lahBq2"5ǰF@r..\qfVlǗPyսe5wp}#H8^;/R[wok!^jyA,=︩ B 5egi `5í.U2VTd#zfzxWp8+0b41o~,~fTW %O,c| ~nR%z|W$HJg{g @/r왡$tXp Bm \mX#qk'vh-vUljSݜ+(uz? s6 /NqB2"PG$㱓cf>/ 'Q]OLذسcV3DDUJ_ʋ?91*EǨ?RK7nfA^2c"FHdéBk D@s9(\9Uo(J1ւ0/ pFz" ;R'^@iR*  !: ɐ|<1w,H=E-w1lLo!j45N8x q٨g/ i]/s:LI϶k9M#S':-6s|PuaJ1Դnh.XÎJ|M+|jH@C2s{Ѣ϶= ]QNYrZ8s3BEp9ǽy=YY3;5 #x{V)?^ۡ =2e!](r(_-]1 &d[sr{#_=ݡ@:F酋/ϫ VE3JgNuv ((q \dR4]+W\e7q_s* DI4v/п 0V˞ =󽕢D|jݶ.aDMXDr 48@) 6I1@`|Yܐ aIfPgHin@%ޫonrXb?^lF5o\&&GfO. Gxp6F=:᾿bne=oifWuҬW#bB cž[pҺU<C:1i9)fާN:'1I*f8*nA#^FP@WjKsaF/ϙ9p=4~X-sqKsr Iʄ6 -qjHj+"*wy;{#b1[I_UL?DwZv[Nd<=}  I]?턭2mxD#;Fs0^`1Bz %Uu\:2Ys&0]~A )!qzcffWI ֵs2]@dɘ%m?1GB^a> sг f*gx" 8r<߬0%aLeFI>k{S^1ԣZU[`+v*..f4$HyH$D-U1v.q9z^#gKi鴏14 jmS;&ٵ k3Ұ2rA]oӣ<Њ6J3с6nȮWX!htÊnx IJnL *q=˜)ֈ!<QyTCqnՙ}ixZ%|xG}wX#Uֶc)29.P=`J ek,M~"URB-cn{&A]/W2m#F{W;%4qW\`lTKI) [n_W$!&zo ` ];gqPc ;^N钭]դooP}X<ͲCYGܯv5NkUAY% ͬձK{wTֲIs"I Gw_RJAWr!lӊLDٞX@9-KyIک萩nK^v\U%lM7xօum60 yaࣤڶ%*:r 2n♕v^8B&<>H$: [=(oҮSyXθn[jO}|mK0+,m+Qkcl `~zj4 Rz+6''NSu*(,D5ݗ֍P{wԛveXa椲A. |b?ˀƠ*EiYZX>BDw\K61Ş!r~{-Gչ'7< M>:3j"Lryp]2>ǒ~i%J#;ՔdMR$1"X{sIQѦW'dR bWs|0 4e=>X,5<17q)['\(jsf3'urw\H#$:6*ie 'Z ?6m8C|vH m1$' g %ZgO!"_+SZ9kb_h ;,{;rk\N)+o 8k$^!ry߽Is"݉Y4"HӒ#Xh1+g|T\4]/T6CqV x)\GZb<,o[,6rN4zcϸw…g?u1ۺeQtCs#V#_s }-}`UK޿rFg;Ѧz 5;^2 Rzx֑w8Y&, .2{4q[FAkO.~TWGfTZ(k$mp.)Jh?0e/EJĽpAOPp2a#{JCA?-^;_z@<fkD}qշM 7g3kEW+Z3Ƌ:}!*]Cc6wdv/uOa>oL$`׵5q,A=(^X5kҜ2 mLoӷE?aAt{}2W7haF*N5mXݠuTb*WjNu AƩ@ ߙ`p$aI ௡E?+9ܞf(`:ъ;K[oq^ئiSq/8M^BZ+Kz Ӫ+EE  V)&h m p }h"8KywC ђ ]3-5N#N5