SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 t|t ]]HOL-Auth:threads=6elapsed=63.123cpu=283.616gc=8.888factor=4.497zXZִF! 4]ŗXf1-q恈tMm-7a2B1:Gnۤ{:#b~N'\*dWDYݢMK2OtT5Wg q]WVSZf8yXud.fU5gd@g~ӨN`ʉBGeOd˒>5N>_ 0ց~G:Nʮr` H$l96ws"յx$9*9LX 3tw`OZ48॓<g&ΊPV,Q٨yhRAg=Nx. = e'좻uL|˜Gj h$ rX.v-(Bcc &|["@J7ţ+Y*&]2/?粐sHf2*%Jyv M{!~E5?%7{Ęt>Tv aL>ޛm}q DJ }|Bykٸ+{\VF,YL`tv9<4RUG`tyv4sB& Hu֛3^msyg{8:\yөf-V'-~؉U)pq6pJ'|ŲB=fJu\]oĭs<>if#fpbc4oYwSAp74ah%YÙ _WSxIMsM-Uε 9rn -5-)CRgb)|N|<$]Xf\"*ﶊb,hϿ6 M;sXyb ۉZBac"C 9+ `pޣSU=ի|wɄ,S5x4S1u~(H.Y^Ԍh"'}|v1#|9tjoÒ<+MuHGբ#P!V6''57Zk//L5]wZGי,Y Kf^TD5zɒ$_5}49-4LUg"K١W*WeJwL+d1 'N -q'CYƻ)X$Z[Xj)5[ E,3u8.m,yO겺1Y*B\Wa)k[a{Q"ǺNckuYꆟㅧPG]hZjc%o2ZؿGr6T۪4c3&(  |>}`EbfB-F6 .c183tcO\zt16P!ħ폡0mX&.dwYX?LS3=N_MrWxXb<ޒr^D_F}ZKn CC9G^Q&[[.zrw'B:ZƇ\Y~Op`RL 5n&M/1ڲs?QQi)T}uō 9Tda=p!=0V Ar=DMzFD*)eG?0_)V}X+KNbU֥@?FT}ܵ(>S|we$99={<7#RcxUDƃ0X]k wʷcݍ _ZVkotARlJsKg#Y67)%QteܪiN$ r .&M 8>\CQ3zE 'cث'@䙛[ϱ<S?BNU?iV4˜ԇ$pľH␣ f˻E+v%"OCmaLLѵd"?Ӻm &EK q.|q6kiJPۍndia5]*Uq ɚq̉eAFh$SIӹ]@ǯ"1:!YvciB+)&Hü S]K=쎆ف1>s&cܢ;ox QA>@xe?>+QO8BثPU 0-)E¦(! ǘ]&#1@|vB7*pB] T2Pt,gnuU%?cY?ҹq03%>A/o5ܐ{z3 $i0 p̲)Ba3,|OS chԸ! W>}֘kD+VpjDVwuD1uMwOVQ.6&a]ty|B6p5v?VE?Mvq̎;e#TG5D:E De?tr}zpv03qT>\ϒgsN'77 Kl$nJG0χ}[;tkmg$~kGoƢ JJ-Itqq^E3@0-:'CMI(5] >nWHs,WmMxPrqp[72ۿ鍉k iHcc$f>6X1ѾF3%C%2Ui+1ܰI[b`di 4 J`.Q̋ǐ#?Di)g5]=IMOrC8n ? Le,m?3)#9]߿7:H\lUIԂSmۨ=ZI ,F-xÎ~#8RI93(fzpJ.bCzm#x*y-W*(rZt厂DF_L}[)p 6RVVS/핔j Z q].^Y*ǽ?%Ll/=a6e%7'TCoѯ7HY:/C[~Z]Z:h RkmzyJ}+q@Lru;!c'ڸ{ RD-mttBe߰^q>1^֮&t]g %y/аѺˉjI~趆|z9\ ܼ+M/ȹycѦO:U*.,4a&;d]ߜq)8bX j-`TX6f7FRHkw_]n-ox~HK9Mau z`_PN 6jÈ򎌒y @%fd0~ #'߃ #.es[Q4y@$avgYZ7zXZִF! <]ŗXiɟ16_ U'U%MegWlFE z̕kQ=RJ&[fC,Nܠr]"cmdJKpɆBlLLA#x٬*O򦿙EebL1gMFBt[UY48Ye͔ᖴBxj(B9}JMRYrD^J>x$%+?*&Emv({XLnO%dh@@&Ŭt4?KtoZ:%ƣ֨"W:.I]I4Y\qt _㣒M3Lu2{xVmtFBEzU-g]aJY\@:%]Jڞ{s.]k6G@D4kU~טDZ&^ӷw)~͛PB>v|1/BB0ϻYv -kIr6q3c0œ\<`KQGaf ?˻) }:p=Z$*cb }s#Ͱ`$ҀsM1x9n,_uz<'1[uLy:&KaGƚ:P`Oc<ڴ`B-K\kg%Qn\8,,pU{{63mrz-D[$뿑=%*¨,bn'C-aD\%+2ťaԇ}ѢpL9-VLqN)gYZ7zXZִF! )]ŗXi%6_,Ɋ'j Q印f`5;7^44Zp'M@t=Xy`OX}mqMԌxMiӳ5! I^ db^> v׍Dj*9f͚QDNqMI_*XM0uBb[5MUDrI6qn6:~P : >8F[FN0A9b tb*bF'tv\~ԵCD2V}5X6|*wvp̗l ƮgU־fVН82>W=m= ΓO"b=LE"g0mDqP_k*-z Al~f}4xp(h_qa=`CFӾcpr>㿯 >vf.Of;b{~w#&z`ak'h?n;te^D5hfnSYE͗Ϛ^4~/<&DTp";j>lB">%)bi+oIOgg7_a yEA4}1|хnw;͑=Gƾ=(%sдcLrEN98tz!礼}>b`ٗ7uސ*t.<$mko4\9[SSΓCRLO@k}V@k* &b g}ׇao!]D_5 e '5P!S .ˠ|ׄIifI)ANL Ҕء&̟xLgi̅kдsE8̡L=mtV;̕-OPOjN1V[^Z\ZYď=ZL^#O$&#_XThJzc֗m}xѕV%h y,e$m30ͣDdf9蘬><~NĎC_!<$jx!K$9XGEG8,05d 9`ӷY)U0.JlڣY.{֊=".9c.$N?w)RF/2B= S3k;Ԉ #84;4ѐi'8-^sa~|)FL>G{|IEU/wTXE9q2=(.- )q2N i6s"KIƮjiD@|+OZm/1y.xpQF!_.%%9prIb|PN&9f db]]]Yv2 *;گ>!R郩y֨i"87z4?5EXD5x^;! jL\.pat㜈aA"2D')MͺX4U@9Cgp"U/? !FC (fI#R>Nr7~pW'%Rj!< aI'F+LFojt<;\J)ݰVSWPis謏zSjx#)܍,zZRA^\z]KFQ~ #n;%p1"'g]Kոo@Q;mzR]Dxi(9&n78XJ@}+T.|ZEp+(3;fy :SƮ?}jv9I[kxٻTq shMjrQ]v5 8rޤHHj;-"",AiH(N!UǙY97%>4F=[aLR jDT%V7! 0A DDn옔Rc UW"aLy Ӓ*< qg* LЇ&&v&e/"vU vxjf6vlgI9Ԕn<6vx_Vv?'b2<;i/IgS(/pԼJJ ׷tdIB?@NiR^W ߃2/2'mm_`Hu6j+b_M@}Tƭvk;8n=z?xg2{6_fzTl%!V`sg흅}>VV0i>d TOzi4[(Z_9l=tq&.Hr?lvG',N#-3Y_6B- &iD)[ٖ?; 3@ >52eV S9(r)7+w@8O>x`JeDpP;&Cjje9\RXx&a@G(L\@xj~2z W@ ?4*;WSfpTtJ]W~jEAٙxMGw>;򵬁 թ.e甒*!kG%W)੪= `UNUdZmEM+>ٗc(3Par٥ B=NV&C<{"MWn \ꕬݫ >q7/5}CƳٓV@-6zpbNݣu: H!:~bgB5>T)Hsh3<;G*eާxgNdMxoM}mVw8OwP̥DA/ٵH ":hCۉVl% ӯ:ɲ*e!%da-qoB𫩌W$R/8û)̴KEJ)tawۧUе zdN4'Dqvg'AR}BrJk\_&`ďkGUG'+s% TaFvdɴD~4>#%`zFCuvz"f*>|+ӎb(/> Ң,6>1eIn~彫 vZcmð^t}45N74Fi&fq9 :ZE v5VLOvZVR!lO^`ƣNMC :`L2uhh@#ZA).x=d S7?X2 QNM2\,ˑQ7%&! %Q .Dg i(Ƕ\?aVy_e&I^IgOp{VT"ms- P'b1<8sHѩi=+B* B##%<) f4LTQI   ˀw"h)s8P7w%;Uې zh2eJD_h)x+SE9e]H^A ufd6PПzoJYHpJJhF ~e(3̚#*˼Vc #A[\e +{@jƎi!΍m0O3!o'M'j\6SA TpRu}~qz<Wqo0D_:TTg 6# 7ڤW 8 诶 Xjܢb\K-(TZo~o`r}WP(&$)1 6MFV~@#C]u}va} ,q jdg9(0}%HAfY>Iܷ7sZMD*.wCF#pŭ ?,/1asb.:쪛Q2=P]>x_A~{b̳cyrnVʫ+U} @u47UF}ubeY8&h'e1})>pF,uXJ啄vT.a賭g:KYI8hqbP~MAP)gEt2d 7TojIShԍcH1}0AĬtjG x|,݇hyo]m49PG+ә/tBW%7Zr`~x1)h}8537&xp03*Iː7rxgHRMulj[:J |a;ni_LѦux