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  w wz#,Tt ]S]Polynomials:threads=2elapsed=114.932cpu=206.480gc=11.556factor=1.807zXZִF! H P]ŗXf1-/6vR[Uy{n > gA[@L \A&|XBSIیvSߌA /-fj"حjq|2y=!h2Rˋid1B]5(c_=9}u^'$(*i )>4f ˃*]w .S=B)B A̲;h1zao O|rme%'qrjfJ!p<N4rV"G4@­zLV!ed{?/>T4{>eR@cA)GD1Jp;B]Hys@{Gtxl Z fU>P4GbD\\E0¨<{iyNCS$iߕG-,(фPr~+ϘsKWJbVWmհXM%K>}"j,sJ # Polynomials, ޏcXJ#2Ynɾ:,Nv&իB1ܱO FSeUcZ[u(FÓ#;r裢A҈p}?Ǽڿo==ɪY5XbA6Gk% VZc0zBX1g晤JXߖ8OSmp>9fUe njXCb۬<ݑ@_ֿ^Rh흠} #Pxve_G{ĬW~ݾx"uF?s5"}ڹjM]zv}6;Ny@pP*r\(0 Pم~?.ڱz PO_Ҁ?8pЏ5Mޛ.sq   ^ז0~G(d>}g%!Uv #W #ʬq MٌYOѣwJ.̯7Ul/a.0^r,*!?)Swtd?S새)dN[5G\Pohp9UKjhizȜ r^nyrR*BL5%4yEuYt.m@ǯK"^21W 4ӓ[Z|NJOg˟mbMX&20´zJը vsf,6IXOIfPy|hHXd%`뺯P]|x8Bg޶М>nGF@:iՕ3IrF` q;r:+td^pJJP= @MٯgͺɷVqa9*ruXlx/c`C|f嶖pWH<5uX!hh˰}`L0L귆h})jQ#Sz[ވ(.צaÖnL\F0-5XNtDGFN3U3]%8Yѧ8c7ʝtm],:Jvai7)@aoJO^1h| 0Grz}ɥD" m\V4Ic [  ۳y3soJW#f&!qˌrH/qXxJp}Cc*MtWbB3 yzu-mIq<2 :bGpw2.%c^'v/un72r^ mgYZ7zXZִF! j]ŗXiɟ|E\Ât+.*aphG)%uGWWm^ojHXk7d8w|7}L 5*.Lfl/ /ʿ}j^ sexHE M|`&r Xo[gOVǚ/#מ!˅5OtG" hDyBdYTi9^w閝sû;9h]Į. ;U6 BJN3 Koհ )dV]qh&Hiw ]'Z8P\pAtfچx]o2^9Kpܰ$ 8s.ڔTk珯~ Sk!!-3{yb˶ mC ߆ 4 wy7HȃDzQx QրĪС#k2~-- 3ȒR} :UhgYZ7zXZִF! .3]ŗXi%;zv5.x&k(Ͷ>e^G}qj˫WڭTUA@bΙPc"M`[4*C:q:T+q~6}<֑C~>V'amonGܗM[w1oB7%. vP1\- ?1Yꗶ#x1 Zj,uT>g]"koX0ÎƓkm 2Y]ӎ-07K+q WR+]^Rn Y1d_`E FvW`wI5 koi Vs7Z6ElcnìcVE{"V+*J3[ڕBMNij8+l *je+'* `S@'k&'!3Q"]P?7nL\ Z$m0} v `oRKNi^Q(ul̹٬paZ Cь%D |^T1g4~/EbF'ptĈ_/q)%ϿF}j + Ey8t2 QpoܧA/Fŕ.At .IFT:HmmOu8b7;w5˨w=_' S/ YUU'RE[(5~|XEׄK' 4 Z#P2ZB"`W\@YWwk4G~yYY L/GSb]4"J-HT+e [ XRWa!$N+ӌ(!Fiyj:.,c)Zx2b㰃6&L`F\,j@J9gFG0J@׎{2tqbSg Wma 97Û?Q=f[z'sŽ)RNgMYh!^PY"ꋺQz?qXK^pBpa6PcqLznkAvكGtf]kC"ɟf GE4֪DYXQ`bB}-r-A i?s"L<|K "Rb̠^L㎂{4%4ș0`]y1:HY0tX w:M%˯&)Hֳ$7wYVҶU%R5_fH!DL1& )%:q]*|hy*8Vq;! v&bVvn̉L\:;. WHr5zæa OX'" R4 0ӳ qtm'!TGhOwǷ(7wY0 Ѡe7NŔ?k}C2t}}y22Adh@KR|YLd0(]_"]L}Z @Qo[ZzP8UH  yhʛ qαvM}{wb 3gbO7X1*N$sQxH @wXI/ʦfsi7rXP%Rsw QKVK.O>_n:+Y&lv>aή}ux|k\w^ꃖm6ܤ< _IXDF^gcW[iU6pLCv%pp`Ŧ$cww,6R  {5~#9qS95hd`2yyf61(]%0.$d{}v(Isx WyHx1>?M.ݘVr%ew6$_+P}K;@WF6"HȦb8~N_$Yqh#§yOa&Rwr\vf߼2IeAFLX5+`2BU%#rSS@& 0zq?p⓻Nߚ7"Vj RG7L!//4gG 26]Dj}.q%w<_ѝ# x|r48(&#%nY]gi#b5ԸsQ,gA,d!4Tgb0mJW϶6[07pB/,W8 V]:::6:~{K_8g"tl`P)58(~L[q#?.>*H9 )K݄,9c\ 9꘳;q`yuLA&SX˯/)j L}DpS9<#|S y}p3\vcJbu@֎Ǭ6Kг ~8%SjNV֣K[{&[V㸪IcǞ8Eam Ͼ3րׄRWO^- {FZ c5ʟĉL4L/d ٕvDw 0߸ @ p$,u\"(4~{K>Gw8Rv[̫TbܯK3_ .փ_iItljJGȞ8]J&0fz^VZ'=зX<.aI) u!G0͇𻈞9mĿ/g/ְ,ɫ=һW3dQjߏW>4jaGgr#Y$ʰEUs_#)<9%q)q|TfHyr/}8bmp ԴpztELԱڬ%Ar?o>w/>o_@ՙ.vv|+A#0p >WF]S4>(ʦr > >Ppj6"ٸ.@sP]ƋNՈP7c"C Eby9/i{_2LjbG"f+*W~3Qce3CHREK=0gS^k^x\Ua,j'!fSQ,'9ݦ!Wɀ^mJ2ɦMVNq*HruNlZ*:6v/ae*lbfr`J:BQ(@ajfo%T ty"fԒ?I]nl ۔*?޳`?dN:F',A=b@!E %78$͢ᝒֶ!oF SjgɲnDŻLI8_:74I8&VB`k~rl=u&B)Ff6xW='F=drtȆ' }6e}߆E? :;Ktan7.xpEx*9#ʳg_79:wVZAz!뙸dd*sN?4-r 'z4L/aklg!nQ=bMfƭr(tߙ׮:p֠:y~b0swDBrrTszx"WX\|=phkG(ᕱ[F0D/0o$˞Ԑ6悥ei`O.'Sm^gqm@`MEj;TD{M%AV WY?KWKpD3R3ΟDl|G0u<`}Apu*`B9!T6䭙qx?!gy To}!z^"ܷ,x*\瀖tgTC 1hl6O< !*.e (> /ÁpSMxAa:I 85r=x@$&0#8~Z3n)E̗Gӷލˉx[}/pB%(a&s&}7Tyϗ1+NExhքwđboEQcnc.ܡEA0;q!,QGX&M][ofsԡuʌ%G`L4m|`˴ O,ΔvUލy _X>ͺ#`\%SxyB^{&1?ͩ]Aan #Cۊ?:A? 4pBymx;Dsh'8QrŃ˙Q4*ۇKf喴|vj!M7~7\B0SLNlW3n\5ûJDЁKQ28VKu%U+=Z#_OY|`aF$uu27^/[TA90M #M|3mVʕ^4ƴ3/(g xa-VP={c2C -^jK̀j