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 ~#$| #/ Free-Groups:threads=2elapsed=124.769cpu=217.028gc=13.840factor=1.747zXZִF! 5K]ŗXf1-q恈<-¡$johkX2I):6{Ohq\“g:MZ+Rv`pzVzCo;I9#u :rd_ޤS8׎ֽ֑,XAܰsj0(uPҙV+2 ̲iAlxڞ jJ=9_%4iy@J&c1?@tfCܙxz; 5GFa/֩\mˏ fuǣUp1߮Q-Mz?/Dn#pXB9c%HRJl'/Ę*#mq|PU&&6"YD,u(vK^b&B WhA01 v(ȏjDÿ,$ȁWu:P,˥6DxE8͕hCeI4/]az5:QN # Free-GroupsyE3ڪ01|O'bpiUNACΘǍi|C mCz6' T 69:@i1}=OKŨj/_#Ve@7Hj l I=KO)dM+N ښٗTW`+='U 0i_388i4?kAw`=VuXZp2iWQuz/eY]8 E*? ]oFojY(4icx Z}Xsj:CkV`udWJϢ׹pcz)Z Q7b7@1ppmUyZk|7zl/s#o~ᕺs*K_ѧ9ش0(߾;HJL\ܟ .Act6%aZGl&va~, sN^7y jӗG S - Hh QW5˯.Qs04JeA QuF)`DSg'N {=vAWT&8kzD-QIl"9u;X5IqBBEpb(n1utj.+ރ+! _dwPѷlѱh wiJ׆ ^f@hŭ-4+7+f`1.= XK@1Rf)s)[3y021-%(۪o~Ŋy`QEl)n#Uf=LHftP)HBj< dZ'Dzi6{[$#ND,"5S'\U,i]%{uDq׹xeU| oZzƕ@'Y^ XQM]s#q ou|w]onB5XrBw|m[C1u3K쓨&OY]c1*Ewo?qTd5桢 ^r ;䑭Ԥ\}+~Mv!@R"HXQYE.ve=t;#vIuR"闂|hKBIȱ_hu*fnѾȱMDrIKp$(D vAT 6EHǙ9Mk5 `(Vsŗ:S+'!C8O:!b͕hT-Sr(t]A1| HPN7*܆Nz vV/kjj͏a@V1,ў݊8c=IDv3J%+eWi! _ruHK^rܷ,Fu d֗F ᔗ1uWOQ C.6;F\,8Gih6=< 3xqnC>g <OMY; %s~c]ӿM8Z^.K |=3yOX.wq04+Idu6;p%Нz@#wRcB'{ HXA^{b`&Htt̸M_U%4b(\&距(Т#^9UvkD?O$i,*(`Zs@q {5].d#!g&\+-]j!PZ ՟? ZP/ēʺkE2=8B՘Xqvo5~8\ܛ.Z(O~mߒ?YI )#8x||2?GCI8٨NBLծpbY)a'_-4jb>e4ɖ]4 4;NHKQIp[Ն4*ޛ'CD@"S]eqc8r`zdS0Č;䙷X:xi9n.KォbBX H`iYjZW@>aޮ2%%6 _`WFֻW>CY[-F84Hnk!r^Ÿ-W;}saHI[@*#4x3yE=/L_rfY!e(ow @{ͳ7S[4uqfy&-ִ-:I)ᅻ%('4/:BjY5a'V.BqS ~Wͷn"\&5>?otC٭+Vx-uЯA#4?:;VEcExQ1uæ<٬lYuߜH,iB!wAƚ%Qaz*xGt٢XimiU-ޫz8ZH~#y=&E'a4"&Ax>QFl:K9u΂K!afuyJt9P~[Wb0<&4^$d0td;"s߼lYOS[`3Sc@ һdS~G1fA?X-0;Yl2㍼j3*v$i,~}oĕtS1>|7$m-K+J+dZ_dt=Ճnnj-a#w#@2C®t>yPxˎrwvWú9y:gRƚٷino#0$u V@ 伞M6%LO2N zq3YrQnmw& ̕4BTaueEG%"M1xna-'讼h P7j:toN-Ρ!>WH}Zp rҹcU۽F?֕GR3{(3]>F$iQZ`6bYVi(eS7r s$NC {U}AZﱣ{G v լj1ahm"+ъvUzƩcGdS隅yPE*Zzmt)7mT7ӄRg}V^dvzYF:!:RDUtR%.& S `C\jry,#oG[N\mgA)eBN6ᒴ6ڣ7, %)|]Eط1[v‘֡rZeF SbZ48E䠡!UE|y8./ؚM]O&$߼UPc&"M^ړ F#¿##YLkis2fVl)雽ep@uBL5pī(.:^)QH\k g4!߻k?GKwt9f$u~0ÜWb6f(lY*Q;O}g?ʏ5)osż/rkf"1_݆a4 |r?k[ ykVk25PerXMt3>봅 T=9 ɪY-\۴Wq~ {@o X[ J^1O: 3>d+PmeS˖083aH \C] m<ʘ!i,Gm-l b"{h5)->gW#|K$=Bxoʹe/[X5P=$?Pۚ|{N !t$/n JO$V%xn*(`.;n A z+NcȮL?ͪ-VuV8g8ucC9nEI=y ߼3Ƞ~8ubD $ 'vkYR"5&=UЬuIfJ21~ɯF6`/PKǮEa.c~ جk$ڭk(gաc-`f* 'KaoXd굄p/+ -;dpB{T)JHϜѿFejxWOVSɷz= g>[>Q{0H&r>*D1l\.XHe;{5*Rfm&S~ނW#1o#gc1| wzgPgE>Ən t9@SZ\ ٺkb7n:ɾ陚;lfL/݆4^cs ˉiN:F#0o>(Bu>!)$@{b^.<߇]lb{W,$ c=5zs}8=ݠ f/<~U cQGɃ4_7:?ϩz} )_ 8Es0`[fпWqb:뱣@'׆_DZNڪ,ɅҥI}hƽ9ay!enK9g COTLyo~lL[&MOOZvCH߂u{ETO=89-Ԓn%G\ƨvb9m>կ3b$;r, E_up"#bgɑIeX{4z L"Vwjj6:!,m7 ѣ~~D09jAGl8 >zfAW tgKQ.yy0ZSHdI%@`lh4=A^|J.U3I:n*WgE%:w(qM/ELӁbo\gLIPyA_»Y ^昏 b#x}=Y i&A4·O2qH@L>HL@'Goqxp֭Y'^狣 p֙yM ` EwlO 5vԥ߱ ([0?gQ]kޗyT)6&[PR뗰Kv5Eu,́UG-*1,L3)m.f/`wDS=אߖv#u_$-hr{r'O$-hX!L'.upJ\Ԅ62~P{K~ TeB5Mk9q 6eQS*VO*/YKuS@Y_WBlg兓ߙl;_9Ss"Dsj{2GH'}E?89'W{(D}Rt-C|@)FA_)GN2}Ɛby:)ҞsO:=Rp%t|溳1_@^ByWwTӜhcڤjB -%4Qb߾w_'Hn@xJ%({6Yq`DBugffEDs~gUv) EFoLƨA2Tl+a̰8|'s ȋ>Z:XZ G敺X_Z}K?OfYv8 yD7MӺ'jPnD}5/)!WtI%(mm=X*PSK4shM{tvL#+~yo32AԆX{m . [a$Ӫ.wB Gއm1{9kj9J(4X`|P7aU'瓙6O4*F1S*;mZ?"| &q^ĉF Zp\ ]xoL@e {(OiCPj7N Y3T+?fq(I֗lK."jI1߃@%1\2잌8*PsB4 x)(ጦ M},"1LBj?/ƁuE Nr .ʻ(m *uMI.!fU*p9 -K/N}p[w?>p%Z;V2*pe~Ky #-6Ie B)ZO-,7~8o/JPgR>n#tmi i;yWf{M)Ⱄ_xpGuL&͋7hë7/wPnUZP(ZN1>o}6dm~4f90IiL&K)SQ^_Gw;:[xF"D˯d>EcL8\ oģώ *PNw<[Lʇqpg[=\ucA0;X[hR^B۶dYW.aDIeO.99o@A)s9k&GL|ev"Bp0tC"j|t`g<6v_o"9k/[(R2jR?t L\Ϫ+(W2)WI!0>W5PkѲڌS: ͛2sR+4I)" <5ط"0Ξ꘲QUڛ|SaoX87 vmQbDo*/jtiP7BNӱV>d8IKxbwiI <#;RSú;笷`K<Ł8Eb-=Yl 6(*Nği(ʢ|M<=%G*dB^CHm"%Ojw| e,I$^ҳ?X T,QDh{\[C+LcVo LiJ%sBh ~V>S8\K˸x<=Lb>aH&AiԈgJD|0jԲ|8NuwQ) iejs::7,Xm@KFot)eo> h-g2UUr~0EiCF \_rMwo4,$XGpF'%AzU8So9X9;ЮN8M<3hOJ@0ud8?8.jyU”"Q *g ,CsM7woqU7ȓD(\aJ ;b;EW(]Rlw L0/_c:+/BR257?/pLl`5>RhQZ. * Qctv(^|O uL79,K '^KO kKkc )_X2[9d DD]o)Ʀ RT\1X}ĥ9۾`GCƓ}W}7,D =UfQц G6b]8J=w3X#ش}g]_i]B6.Rҗl([#*bab.0)™z nH_?=s\ ?aEtc -~{D&Ha{ {]ߌWW&NڱBꇒI.&|?4{9JMAszU5 $px hO2g&:BHb5ogAʹЋ, zz\Un}z =,&{yFDat#BOti40GRs0+y6ylQun7XmteMܽ1I!P o{~P.{Rj ?<@@6wldG*Aqbɷoq1O>d鯏o6+' eztרNL\ypsox)/ʤR.}dT4ʳ[5y WUfm {qi6''"LRʧszkqJc¡Щ(̞P⹭Ԡ2!$H)Eu~=zff >Np)p)THwq7FN7T@YflyzS* fN Geԉ 6]/XBD_p$ڳZ4_# qי|6Y#Xa7 ^F9<&(3}5ㅍ; I¥J>mƕ]@|s(+n{ٮcT&2j+gyx>k_$k9jǻ ڱgYZ7zXZִF! Bw]ŗXi%H/kכ^Yfdg(;Ķ_|hr8&9V;xs/l NO*E y ]2ݣؕ =/콃CJ:3e?E5}"P#&Dtχ*wkw]1 [+2^3kRirRL8f]lcebN\-#tȇn98,g6ڣ23 J LSre*R\,R`LiLq4KfmN[pOu08А,o@9w dFG$C5sj.ߗUkӸX25H-Xa6jd['`k:4&dLQz?ʧP E }8ސSB=Yg-kDSJ,E;9y5@hVQL BOSWR_v\6FIF쀧2 ҿ%^đUx6: ImKxiEx+m%vZib1ozS66,SVBD٧ZFQ%΋&;qr!= /z%ƕWpXIr ~RjeC>.1+zk'\DD:Aĺh12w9Z:+93A3*)kv!)G|Jw?Hls5~: HL$I7'j?WrIMt 0dT"qW2FܤgKcԇIl,}<_ ^LXg9LDM _n07&V;k~4CrMv4Q=ħ&&5TPH)3a[Ⳉ_v n#ꏀNtBH#3lyEDyP#BgqEjc~*''Yсm/E&+pD*t[9˨{3Y=aCA,J~XJOrPJ[$8nE0b;}z ~dױGTB#$KN:xjr#*(ol/+9bS3ܿu~!ĐڄqgZ+\̤sCmLv@O\43 Fu W8IZj[8V?fcMO7Gp4hJl&Hu8 ɭʟ^QJ]\=jJ&<+>i: +@,aE̎yvKkc_J0QÊ;ܖ=J ,9%Sbw"mB 7é%i3I ዶLd ܒmNÉ09dO( aSGkȏY ].lBCX/ 0rf\ِ=dd'~y^ {*'={n>.zὩ_3% 9 IVe-RrZk6똂Ӈ}RG:  ǼDQ/\+:]])ZUR h a&=);Z1p$ :%?seÉZ P\?O~RްCӋd C,IGYygG33~p3 $` ڈĜJ7hN~#Z1d!_ #ۨ_;_Q^^XJ|Kš~2OcZ⬚j`H١ޞ˯sje5{9uD/̸VĥUؽq=/8G^+g*by['_Wgu&Zզcs+;YapNvl< GfXW-ЋznDyƐٟ :ES[נ21#.YY! ƀْ;9syfn 7Sg0OwX^oT -s#]ӣvpoϜ!y׬ocMƇ_\y Czwq"4F͝S9jK=BM1n/'Bo. "`\A ލ~ɼT5'yB"/:L{J1WOe;jgs3GeV/o,kx1z{ \%[qO/G*:^»iepf(<+ "ec$|lL凯իT)I\B:z7XWߒk'7HF0G}ՎIh)1{)>1Y6zJ>kTKgfW0Ѭ1b QM@s㦈nZ+2K0Ϧ"2(Ԭ5.5n8VV7~&p5Z_GW_[((KNwy\HRcsȴ@r-[HѸ~,cXA"q_\D,jir㞖wT|6jl yfiʭĵKc pyGWL4ۓ++Ӭ][n04 *9Dz9?m3m*Kw\]GX&]Jjq *;t4đ4ݜMfD$=|f4WE5I)pT0HN&U擢t8 B`39&qm'= .Gpgk¶B. 8A‹]O5 ӆu_ 褑Pn"hjr< $KGcg!{ ฻ FKg;}ڰ:f: "'wӏ}><= -|ڣAcIߑK-}N'ơjhٻ0̩s m(@ 1Da!7+o!+ѣZ{*BKG1~xG:^S-4Nh,LZn &7a+6(Ȑf` ҏC:$_W~ϳC64B\$}DB^P,ȗFKL!hϾ#8f6`V>L.K[/Fwe4a9a)f#`vkB?zUl7;?% ZX/k!bpA/BWOʲ˾^.!ڈ,] Y#]hP=0?~ʜl j5R^ Q)EtAk+m󾓍^N>׫$V,cF$qJfϾo/{)+juhyS ;LYeo+7[a)fsPc; Oh{G@,|;yC Df/L+h8=(C'[czH!=ULd}?\ٻhKh*:눮LTN^b㟦jSܻ1 {օG55αskF˩q<_IVdJd7a`_bt:e*ꎵ{m8( /k[?Sf^ѻ7;S2tS6$$DJ0yDzWӉ8ыPd?WԏcyvR/kyj]5&9LK Dg ,*OptUe3uijc'߅O^ o[Z58*I2 XPaw{Q^[$jX# t[[2=8: $E{챇3+ubSb:M>W*P~ VS^Lz⠭-eD t&Sv7pެ%=ԏg $GTͭG5vUi%ƺl['ޏ2&J  #VH7xٴZrXAQOVws{^c;R'gS<ESz7y)-K^rUYr)d&-GNh|lS.C`NkOiȏϧ6>lUqxy?TQ*=j|!pD'SġCH9A,w˰}vU` sMVݫ)+ {'K%OA^oDaۏxWI%AQm`Khț)yvԘ8'S.zPͨG}Wma050Eй+iEj9oc߆Op}8B_ ss-Wo swaSP|ƭ_%O09mc|n)ExtF݌B hx%QG RSXC01W 5([%s']Y, tu5ӫ?޲mB  t_9} BĈJx+滎њxw`Oɫ׶¯=dɚsYCY(# UJ /