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 K\T O LOFT:threads=2elapsed=194.363cpu=369.248gc=10.360factor=1.907zXZִF! n ]ŗXf1-/6vRZ0- 1K &e-zn~3>Y:]6Hmz% itbGF,FZ ΃eX n9Aq%ԏٞ  LOFToEQ,7 ti6غh6xPtSatBs. L\h <ЎvN3.[(XTbLFzLzѻ^6t]w4NR-MwDPY$l]sp%nr9^MPuMB5y2y 5c1ۘFW,q ΰ --˧Z^;4Y 6뢵GHNmKC  ɧr;rպ<4Aqct()9iDQm`XP~>{N׻,DfW&Qy)O/(Vݶ5U#7izX(GVO0 }c4j$=_zY5z[Jy-[rs:zرAX3K(/\f!5e4 ݁&̎ 46FvJ{!Iۧ*GPJۮ7Fvoӭ4G6ca-AtH$Pw]y7GO-NvjH:i/K7%oٰi4]Rsy8K\݊l>Eݜq8S&Vyl%8)lT9P&)|7b! f,w JrsoG`$͡iZQ-tA^@Y5ϼvI+'XN]TwtH ./ZwKS\*r9-ϗGd4B # b3S3֨RsJ6,kqbFڢz Uhϝ `TTf UOJnqqAɏ*'1\ JtNO8@$3e 棾Ɂ [{r%+22:I6tBTir#Py#7E<VѨ?JMHV#:w8ɘ$Q3dfzD5lPbXy `PzbW{ӇКIO)ʴҞ?tD/ׅp=iexrUc"W&ƹ@DLYgV|iJQ&^rs. quRΔx!G;w-L$6vSK| I u1t;JvΗlB (+_R{UyZoeWDoW(Gfhzk38p|,A1@='N2+gfF͜)=uv4yъ|ZU)̡S1S+B^+NQA-}4:0+zhwѓ3wT>ͦvWtE/Z"3xZ>sSԧ}My O?ڂN$S 7?hP)l\mNVYqI6S/?ybH?=S1)mfw_.\8<#0CtJ21bWJA(ҜOyE_zM4A)[.@%s`܇;͆ǯclSW?;.HK^ĺ3҄Kŏ8R#!rW88K5̀ekHZ5yk<`ѴҤ3 ̹y6q\x-ERQD->X}=9X &厔A:]h= 1FBkŖt^6%;aᔑlXMe 8BY5`I.Wiyݏs_YC h.|L.Ne0,D"GR]8U«WC2i˕pF(9 ۫fŪni>:n=JՅ;' z/0aXO 7L7$. Id+ŻB7+ /5tTVKQ1ia ;E*;8.P4/]WD8JOP@kQ 0i_"~Yb 7|bPWY"&K%#6n  O\xs|~u^%IĖǟ5Sa Q8%ًlc~_,uw DcnH\;PEOO]幌Rv\άtj9W=' *~qSU)\}Q::搊뛞F[sx.,Pw]zu"cz5x % B+jr&=ubtPAlWD,<6JLYP2@ /Kmy1xx}>=mH=75@5`7Gӡ2wͽGyyܤpQ ?`ңR`w( 89BRScFA1{"J_X=(/(Lp&̞FZ fkgYZ7zXZִF! 㔪#$]ŗXi%Bׂ'Btξ.w1+of`RuhS+&7[q5ɽCz1 bkڿ?s`}:~𝣴{{~Q_n/G1Ic7,d:#oGutcWuBc/Q:qH_F{N*@&LzUqGպ H?CVd#RZiR'~DL 0mYWڋ PF gc\?Tᄫ:sN;ȵo~.ͦPTk#0YzDŽ1J'~#!# r m\1-0]"Ђɿi<:Ej>0&0\e92n+\3@-q(gTXp*&JGe:JBޚ~͵2U+,݃uWnd)BhO"a'B5p<ğюiʈ:LS3{4̬ (nm9S=ЋMgѷ&KVrƿXh(TC SRy4 >1b)zpER v  X6]%w#[pZ<5qdUYo#G =sMB_87DHVOK"T@#Gj'q!J"dE`w<[7m1[W>RQ.%OLM I=gQ-9Y&ب7.[n]o9E֑AM= v6g4"/LM QF&MwV;RGb+UjX*Sc*ǁ"]Œ捯+Ŧܖ)I{N}(%僶<-FľTk3SC?(Qf^Q҃kҊ'uLT|й/NSyo(dʈe!4\m)Rƾ,zI>!=8?F+Ne7cN]"R?~>[q(ҡ:c?! LRRmHιLg~2$Գ{|{7xҔp{۸ #lS|㷠tÔ}MP֕[f{]Ak4z Se%7g̤Ke㧒P[BHNy9oD$ÖI% RV̳N^D.(- [0U{޳7S&zs.B;}5dZ\3B_Qa2|9*7*;5Z^/w0kyY勒+>5De82GEg`H̹9dj{{7pɠ `.F>5r̆V8)܀ 'e +!^ʴC&]rIsX?qŖZuWWc#Mh.9̔ U6l6f*+ޙ5Lり-jR8WXc? ޲w]{s C6 ^|"ײf3T då!L\N < o)G])fn#!ӹZ,HQ*\ $—dV<%?^H"&Cv]8øOc,KRj_ ըP},%ံe J7AY]ɝn~~_y$O@ "V]~"79EIM>{L܈~'kIe5Tw&r"hgC !}OWgEAЗGNJf2eBi۽v'N_ o,읟!tb r#l[ :Jn,{ ܢ~\A"w!FWc_gySfxWTF-l|+"nNgo tM/޳5DLR6 ^ܛI~/z{BXBkƶSlVD} NʭᆐԼ)zHWlh)) lڑt0u?'XsD?޶P~TUp8IÝb97Fjd?y(HdF*#1po.Xܥa*y@l*ǭh3H A;ܧʃ^ִwcXPiIk#&z$jC{ghe=rz% ᠪ|* |̾mBN luQ 8 net^A$! $eu A%')"8rb*e'buHR9 ODdy:n<"&@Cвbj;RϣiEe F+=?([wgJ" e;omQ 1VaR7Y"LR%rQ'!͚J/9L"ԿpS7ܼb+"8Q UG%~ZP"HVH6Z~1&Sw^ b^ wo{BU-?uw Ptܯ# ,IKq\BIv[zg,]XjTf=UB)v18ؒz9m=YuCТ7Oit+T"⥶d̓.N< 9?gTS P6=㺿[,qL=Rz#H̤"xBDOZbNuWBaұN?tDrz*zo&1RPY.-A藦\ǖ`5wZ;jD"Z榑tQx"ŽN[g3Mήa HRAјĎɛ@(N8w"~& nLMvF.wE8-o8n%6w7\rp`:E&맦Q%2"6}։q;&}r=%j8xr)NM.|=Y6Crz0H/$ZJ=W ѿ ʾt#mv.Y.#RE Γ:Wja22 ,3*;-}094r5PT”#rJăR4ӏݿ\ e E uDmcW[>5aKɑ<)؋T.Wr(`tĜBMhRhjx;߀ŲlY8dzO)Q(zZ2pڞ+35-ZY" 8dR[e9|]{5k"kZ4:]5Kn2#l\?g[PRkc=h6L! \HG'Yq{!y-)rA'P/~'Po\6Vb };\mqf닷Q| -T$ O]SB"r7lJ+\o+-E^ҽy۔;k5Kџ;CL>IH C2Xq{'` OK>YMDjAt|G {ؘ0cTM6Q(KF΀\Fן2O3\ʣ$>#h>1$0=O5IcJaf6 W$k̉Q<[+;V~ q7Y1hJ&W~sa tEAK/Zy߁[K_+d\˩B3ƚL0-*FB9/IfW{O4LJ/WzH5>d|_pwL!5ƈ17cߟal8=5aI  |-lXPA>^ uQV("hOf[y鲯B`Gyq@S]]-r:+ ,&y$XdqZ^׈f \E&@'h Azkvnaͱk'dLK9tD{ixhqC(>MJ <#k_9VҲrQ#&f_ʏc?ܩyiz?qp0"˩s)}w> :~#V1 EU&5Fhm9'WKk9z]98l*CSvJ~JEQ$#6h^g5yk/aU0SPn#Gouy_k  bM nUCq![`ݭTcv9uSzpI&t+6 f>CdULukVMG6j ֿk%?nFDO7$}u?.(Z?~Q@.S.Pn*NH4OaR>brV&6ĉbHq q0P~'wMHOlɪiq/F19' o06Bpj,MӘ j"KGtR84?ΦR̪I7Iʁ)e+`VhzO/xVo0gw̢V"1j!EORR}ATK.= 6H0w+M!U]7v0ryo63se &Cgk5zKV4__{,T0vɹ9{BC=hٟp>,4*y#xS&TK =6kdK fG@?#2%Xdjkm|L`V8ϵb7#N.hDRy!:bGc~hK?ՃTe(+).&%H}[]NY7q$}0vY*>wa6ˎ[ΗfctM [Um7UTN(FAڔ;"/ Cw8e=I&Ò2!?QM[+7>+\yk0En%u_zGP@@'챐Y dva y<|AaPTvk"3`PRiR0EٿJdyn5X'Zɵ \.rmEH7VXfO>BVۆLjP8@*> ڜ:d^WݩrF(0I޺mذQjҝF4X2T/fvtXr\ 1M[7Y|\a.>  CVo,S֫$ /;Wl˯Y>OIa~BZݡʌƸ40>S-byK-ѹ;#م3o9QѵqlLjER̗9PEHgΗIy)e4V>z{YL ǣI+>ɥM1iז8V-kJĻE2isIZ BY;(<#ko'Er{=.ʄi{2Rʘ<м-JdoAR)ېzҡgsnWxVwtP il ְ/&=,LI.*Β깅x#r AhC \bI4Ǣɵ^ BMe)$6]i,ZR!K  EoiD3wC`۴9z5lj)ni;eR%`$"jd}O oB4cWI:cm78+'ƤIXT*{(Ki߇bEsFP 7yk lyjnO<ռwl2k5VM77#HN+!tQXTe͢bkCyͼ]ڪ[mrK~ʙkVh id_ bܳ׭- q1VЫ1>I(G4;XLtS5xږ5吲UkdFk/ I`09跞@(e锝&.I_rOsBէ›(e& YE޿# VK/l?QXw0LW̻l{KBd|Ek1|^xk5{vBCAU:)Y""Eug_ i6iLӛ,cBcY=D=2"1ۜKdKGԌ~+JJ)r~xIXP>&A