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 Q7dD }c Algebraic_Numbers_Lib:threads=2elapsed=97.433cpu=170.072gc=7.028factor=1.757zXZִF! {(+]ŗXf1-/6vRZ]=vYYN& \l_!2&IJ bF_B{d~tv& GEn$IjfҷhiRU7UI H~o:cpΡU!0AŖ5?Cy߇s|Յ^9ϊGJdl.B2,s/˧17 #)KN@*SUg1T?s轝Ю}.{OO[=&Ǫ?JZIVtҎzưE /Hx/v,'}㢒Q-5(Ii|Q/qE`i읳;PŇ3f\T* ZS}O C IF+=n!gKbUNZ=[bd{X䔈M׌ݐTZ3[ye ڟE󱡵ղg#-*mn5|L'2VMiW$uw,Qt0yOnbwY"*f]3i RC}R誓N䎆iԜW{VvGJW6̩I?"[ɽ#ɧEas)JC2MEn"LlAMH . ;,ےql2Ĺ|n\P 7 Algebraic_Numbers_Lib`&=,G;;i*bAm'x(]5WG}~]XcSz,@Zny85Ϡ|߈QF[;_=DXdU f,>q|#2F8];ۡA,z0ka(yҘ9XL-L'߫,jy7,/ seTf~[s]>() 9b=<ɞFB^LbIĴ#QƛvupwP2B vy>](0. 1ߣHN7ᠷ10!X%L, a`~s/!JjR?I|fxTDv_chO{ HPLI͒u)1 Ảq瞷^J 6ބi#ZSڮTz`HzZm;ԍ. x?UQ,T|y-,ū֨+*ĝl֔MM_GKaX*QƘen"T,bI]6 @pu.“ uc7Xoqigw#1.[a$ۤ]&$ ĎR4y؎ {͒z `O.zW̭QLMgeR-;fMD$vW̘WE9(dtNECN'yd\6vIBQ/)=j\\%-(”x%[oIeqN6Ű=dwUQe|P\*jF]zr%IFX;WpofMI< ̜\C'|NFDn;ŏ ,)zNU7Dy#0/Vw-,M}ȜJ[~E%mҷd:&Xyc|.=SpQ@g@ytqU4Dv}[t6kk)}E?AC l2A1(xNeQBqERq39wTM0reu'LY;P$paQ.*T`1K.ֺkp P3Wiycֿ> t ¼y9Ӝňr29x Ec*؞FE_CYGr .kk2ͳoŜSc3]][GeVJ ܘԧw8̓VWPK=pK|@^:ao0!aQ:{{͏P=#C\Εt#<̧n]SHzT~,D!6Pc͢"B4TQ? ,kQ1ըHӅIemIb?t2"밠\S]%q-roi 5Ԁ xYk؂|aM^?_ ({4QB϶IAD@dz*Y>Pu@z% @e9gf@!{2?4YRo{fv-`}Ek笤pE5Fre+'`M!z)pu&B }Kigm<`=Loə\F+HD=R=xCƛSrTY^)vNpX'Mx3 VfO@þS.Enn4cbw7 ZvbTW#cCyeF@.b 45SOkncS'${ۑjIzd_t_:Q"AP˄wK+P2=Mvr@PF!4>K4Z)]^&k=߲u0e]٬l(j0^%d8r~ ~#w jb)g #kO}]d߇HBL/tI(uvLhl|:p014|IKFC<2,vjKv2}u.`d-|>prZsPW "+0S!a:J1>9p4'+tnpH鹙W~ŗ(~l~c DwPN>h`Iu:Wl!9uxN:E~zP&"oG߯L]-=U矵 13?'EqOWϬQpNv@ o+3CE}vıhGvI+y|)*'ّ94- eⲚ8/$elCϽק'!: Sd0QfGo%`.` rwֽU666ƅǥA;Y-<01"MϷ(xaqZs ?S{F9 h6@;': pJI ^T9+N$#~{qR:kS{+w&gw}d6:{Y*x{JGm#4eP.WT|P,c?, *O?,H[܁0 XiO)AYunhu\jc5{3[2+50S:}^.)愢K)T #Tm1ƣ& -W~F IAdpoJb/. Cz$7yW ! M/U]܋G ~NK{&ghbvcgB&|:o%'@0%n[8QF-{w)dˀ\Mbhښߚ7`4dmtsJ,_lwմ=yz4JT(2#agOu&'+#C; >uɍ *`TcmZ7ݱQ >P/v624o2dOIalytK dwa^mĴ 8j?(Tۘp<7akp.&((s0F{]:9#2k9b}cki %CeԼNB5VI(^(WVƸY*0;P҂?kp ',945⪂4eW0L~xoO ! N=:-KMgM6b5'Cc1#M.Ӎ ̢"ErfTw%p7}fNl77 3 ߔO"uE (YK؈" pC|G/9ܨ>n`p2K4pPzy6V2J$M%<G8eu dz *|I?+*]u\t;C ޽וZo o+ap#cA;ǢiJf~w kO@-7we,٩]ϳG _HAy. `̗ID2g1QP6!9O aǩ\% (V 诘=Oq*k?OLgi y-zcGȼU_:뙏 "R}P9jAV_^$>Pm9yhآ{&HJ0@z`]oK~zA$Tg?{= mcna E[QUl* $pT]I5^# o27 N3BL@uu5 a#z (V5vZE0U2 ]Ww3"*n.Wt#Q6ҶUg-g- qlXl5,zBksa%~bI޽^77s0|ovA?WGbۓlQ1v[OGŵl/aN"GQiZ8ɤփ#.bg$%!M FGs ;qk=QToK:Aq! qzēƱl2l~-fk nARy COKfqRbc|R_zMqeZj][5Vd zسUhcf 7䊲Ab2cAIg ]:2kbQ~n1|`/p`|OI;à yۛ4t#^"k X]cd]a '1֞j9VD Ȝ{0m"'c]8f-/f,x1+4 brhbxɌZϯO7dk\z\Z$jFg3#ȾIvvǮ=d+ߨ1<`PYA;!z\܃ekB~yb:@iPԓt_$Bnjى~|WB΋`ɶSm9_ ܛD7 K5OoBFnçFZdS?8dK%};1$.cn&E)'ON!_/!UH}1/ e!|N &l]_UtQQxѠ VԷJĞs}. }٦1 bҎAf432VU`x~9e%4Vr墄_*UƲP5SuZG3,?~KueRQquC~e*k sj4 A I `dΩbdwK4_\xĮ!K#bdjSJ i;!-}{Wmfr 9bZ'T܀;T<>uVH)v݈[qw. XvDHi liݸ` !85G×,_8Lj*h< A۫y1s8u0oPHN/]jK,-6~+N4puY!v AiPl!SaE ?@wb%T$yzwpֶ ŵIAbD/`N >] HhxɍA* q:Q5񨋀z'>1HN[%jwmr ,"~|/D $xUoڤ"xVD@6 EQ ٣ f|sgvf 4Thh#bxΈf鉰&Pyr-?IG.:m}+3,3D 1 B mY)Zr~_?b>RԧUR_@A`@|rJA A5K:ce5cZХhyG u,G K',$]l}˰yn`P o.?)|_OI5ئڥ4d҄QI'D[I=򢇢lL|DJLꘅY@!^/XŅ?,PT8|xA0S ;b#H|ZMK}UmdQ>r^[LN.*KdX.ϛ`K0C>p32}Dsn|)]"9٢줉BgQm:{f`E8Gl82:DeFi|h#~l.LyQm_^ߧIP5*xXi2  1|2w峎mdOD\.-6`(: lձĥͼ-=i@뛹(JK4qόab/k9}荝 })4O<@2Aa Otװ1$'j5""/CM@9ӎ$)n T!`á᲌yz+[n,q$J>fT=l%734+7SPf1I=AZuN'+1bzP)& %6tvه=C9q |rd{zk0Ƛw]n@r񼥷9CW:$M8ZWK_ik3yO}r*4~sU||7<Ӌɝqz?? 7Nфi}QUmG͑Ica'0 dk>q`сˢ7Gw'yCH!_-R_2پPvPX8n4?G?D#( Z9I[1Nn GzqR͢Qw6ɲwCǨ4&A,+m!*tQߜ@e31Ngs [cX)[lXs_R/nQgzǰg_oyÂϧ*ӝ;N!,G{[Ԅk. A+K>T<~Q|:c$}ۿ"WTǧr ߰rZ-Jmʇ*EZB/w7UWI?&!4tذlPvѩiK(F0Ҋa%5פN"8Kig3~(? Y}Y;ݍOT%߻յ#Є*C:h 㔩wEYv]ÞfzgG5~?oDk[= 6deKgscL^' IÛDe941^8r߀u?kzF+FOI_U+N!z1tU +wqx' I'6@bd-9r79n̍(l8'OLu,X_e}8 vXY?[R3s$d9P7yy'7C@Yeߣ^!h< ={hF&z) @68%dN%s]a16G㱁,kվ"Xn2L^7 b4G|#ZD1%7*)Q>Tg?LIӰ0)`C[ cFazhSAvUn(v?Klq܄0W>A}Vm~-t-, ֔0^kM}ϯ"J`1F"ttC)bҨ!` [ok. W#Mr .}F4Ku2?`!<%H$؜8s%dY>a3I1-gPR7KJUs,IUi]`:dH.(?Ti]eݽwqչb*'ŇzZ,lNeB"_|n}J2Çvh!jhSY<>iR)$x9o- GQ~V&ږyPr*Lt@P/8fI`6zv)sjN:; ,(Gg}F3{KuߟyIv" qg/i1wɆg2ʓ+[ u;7,i!L}ͯyM>8[aÇcg$tjW$ZG,j\ώ8#ؕD?@O#sN;OQfHcG9B{"9vuT$,C[āoOt ]r/kɍ0]dzTqkz<t0)lJT b_]Zrxw٧6QZ cɛu⧌~ojLt\a$-p{Dw: rWQd. S.+(T}?|KE =.06XLq~_5|eȪ ĉPYdžY8D@Pqp`X(/Z-\2Ɍ:̀JPi:PPlc-J 3}!֠.D}P;Uq8 /27MϲϧŹ(aGduӥ~,WO}U}^!dPest8%Qf/EeDTh; oOT6`?~iL,&G L@,JWxVkZ;Qk<JunUv>\rEhݎqD١c^Э7ND?&乧h A$BLZ(TCsCF}'s ˙5Brgnrz]a]NT d^uȃJҚ I~~{g/.7{\.f(Jf&ՈD.]o[K,4T~C&Bbp@_Jhr{]N"j<elMث+㒿SDM)X$Y4@ʃd#08GxRc#DINu'v^G)s@9B`X:TD3ڽiK6 8]eٽ֨*Ј1AR MMY2&v #ٛKz0.`rZ&/G&M