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#d, ]S]Polynomials:threads=2elapsed=86.461cpu=158.512gc=6.692factor=1.837zXZִF! 1E]ŗXf1-/6vRZ*_vs(}L)WhuQeAO>YAo=3zK[v\Kp`[u$ ̮H^.,Az]/ W [TJ*Ϥoĸ7o0QD]i?=r»aCZz0OAHa[!CotVx42??Q|:Hޞ ~$Ǣf䐙8CY]=B=qB~c@{!@0ne,o$inε>.vol4ؓl]:"8,}xpo;%)jJ$+J%NSut9UYxJZW"5}~/=&WRdx^|U[ v-nHԧXn*gWD,#6=0>SMHLTNg`ZS5wVdd.aueDQLFd`b6}gͲi] j A-El*58D.f!=Zq]@K6݊D Jugf$JA ekDJVk;Bl'`Ny[kQX}]xc$ rL{ǒ8% (d5Z G{~E?)AD]b= ;'ky[th+o}'MdA'>%X?λ* 7 $o mWj$CMbY+plm%wƾ$L2sB>ͿGޮ|#'`˓%{]0_f1Rj 68:UTr f"YKHU1Rjq"9?}(,Aݙ/yѿ&NX49#% GC,q źtvTH7WN,|fJ cjO]gYZ7zXZִF! fk]ŗXiɟ|E\Ât+.*aphG)%uG:kPC@?cbڷmws\sGӏ(e3֠O# VϢO Jj$C,}H[CP]B/bb7T#AZ^2^9:6q:<]sp2R4/e/3GXoJ8T!!$ɧH PtfׇWcʂmKsڔa#MG>: 3ީ"+F aXZ^+>pLw^L7IkNrY99nx x8TT±gYZ7zXZִF! ]ŗXi%9(RMz%\);&D@ ATYYz) O枴d_G:0wK}Scv#~cZ[ٟ7 6qJN.F$c8pз6o:fLΤzN]& Zk ,[gbtߑf..N\Gv"8tb@{BJGw΅gH٬%KOHBIzt 5rM˙F \,2묚/\D)BР2 `)y@=Ӂ@w j[F$S΄9u9zMivRoI#M$3hQ .{1"_n$ 1"R5ɕF!ϚO_wИz){&EBU!S9 Qd<4UvOl`|N.,4kL>%a8N9m2hk_x \Kw! iݫc-?6A:PoZ:vZ{=9=/4< 2Oۣ; [h/)zVʻ # PolynomialsUL>q2OEW2Hl7!tg뚪ՋElƯ"!q sXtxϼhUJٵ;KA;̒laYgV$@a~Ձ@Z޻MGܥJ`ŪuDDѪd& X[|)K&uw_'|򼖶$W볰dO,N!hBbIm5PTwV $?GCvvѭ 1` Q ݺ~^) i'u >Llh0+P0=`F 1ƵQёEUfWWKAFljIB e=j5l|u4r\.M/~Wݼ`\>3a] 3aYˎC.\˴7sbd'+8mѕ3#%/g; _Tr4i2e#ħ%GU^Z"}fscb( Mz3(]+=Uw &ڑG82kg9;$ae$5~]ɩT>qok#n)GWʴ9`;kHvuI OCf؟0Khe1J!C{#[ <@V'`Em Ze K I*_Ro*StxۭO{xzΦdKC~/HQ-͆|!!9,;R&9IJh8Lx߅~h7fԩy^k>Lb׵'fq?0jIj_Ld0~" o|[X/̈́b@mc(:6JT<0r",B1rN$WG14Dz>ǗkOq 50qd6,T \~f@m\ #;oC1iG@mNe[yP4򜨍H54@iflj\#K3BKeʍڧHFlCVdtm}iFTC]ֲX*Ni)0h qxYY5UcuU`_kM|i'ܭ%ʶfgG^SF(k>Sf^ZLO?"uS sFm>at0O({=U oDiCU`KU`)qG1]^rK۞~τp^ ^ѵ/Wn.($ /km " Of|.^M0 &Oh#]""d5t:;cԊCz[-@w(p~'tR}3}]!XD>{TX$g0|frio ,ᓧdsuN t0@j &7$oU6f5ߴY:K^](^ÂjyOEsI~"|7hHزYc^aak-_.H ;yZX.n|MV N" B/WPDŽLNkQ I UIkd -S\öl!bEg9}9_0qxZn!ӾN/q_ 0Cb_|~wWۮoZR3~,jи%ݤ&R 4%>%c{t5Ԋv>49c}YZPҳ({dE/_El݋6Gc]Θ bP Ŗ:%97k%(QIk;@z{8&Ss]G*q{M9G =LdD ~ ?0q /Evf:w/I;]X2]+IVOTcxr/h];.?Q/SO"h#r+~[ M( ~\?})Ա֨S`Sk9 x,(>՗gMݔ=Rȷ\#ֿSdyG1d( ovw} ƙF~Y̼6+*1i .!n(߿ ɤxs7B28DmD %й7Lŋr'_C,(dHT\'D<"RBEEv($QʟÒ<=7*ŽV-xR-UWmͼ<2-G\W: 7'=kg 5M o7+dUvlpEQ\pL9eϊF$ok=Ӎ]tl4ڵd@b^#2Lx=0Ǽgvxo ^S=||?Jv׊%Lhȑ[`9G;Sz:eg϶{;+Ru#V^=xYLPnaHk.sKsqQ>p{ZD4~&09_a<, ^82ZׯhOk * +c?T֛aL&zGl$w20dY#칈T+-a$*gKS﵍<^rQ?w3GKK'/gp$E_SR$jp|ĩM@bmwǃKPoM%ưI`A_bP+F=2%3喷:0' 2E; \:M#l*Xy$,`nMmN|"{_^N _^Nh-MжG7JpLc AUZ1:}q[Zp$?Yq\r{[Hz9g\f\ȝaoJJ@QTm”ѓ$jYkIH8D4=zz8zϚgg<j[+=v`yR SE pdn!-ZOcˍLP}w8)xK5QwȖCF XkT@o#݁ױgYZ3aa94013ec61f2b3f333132e823d0c695bd71aff2722ec1bc2993f9863f5084b9ee07bd97dd3d36c 3f001195d7415da4b8cf06d884af4e156b801fea 767fc67378b31eb70f2963c7c52b27cb412fc8af 67efed29c5db44bc5a6ce1038966f709e5ebb132f5479521e07646bd9f6e866a3550d50ec4964d66