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 QQ$#,\D ]S]Polynomials:threads=2elapsed=94.148cpu=172.208gc=7.644factor=1.837zXZִF! 4O]ŗXf1-/6vRZ*_vs(}L)WhuQeAO>YAo=1+-AK枣Ÿ[ËouE>-0X\`W~+]`P LM}^6X\KHP,[6am  ro,"Ƙ`A]/3t*.*@aT)z`nE@){^ۿ@4lBgÞf!;Dd/^[^[E-XRJ(AԻ,EH <-ПcMщPt27Z`d!GtCXb94`]YNP.U[)R/Ƭ~HM}O^_d D$]V *j@y"N6:/ُ`ю8`aikF,0 I/O>W kr%vC׀; W:_rr<3Q:ڳcQ%bA:!J|ܿZK7biט$}|^vg)W+/稨++'י[qW2qxxWjKB`.*8(8#>Q`4$Z)]k萧*9(BIKP+&.@dZ}ؓn զ>yQml `-u̯~Q[."DV%TpqGvy,O wY R(Ԉqlse%ߍU|6} dwI\Cl ~ 97ڵV{5\bdV Γ$p {ˈb~kF%e FMCa8?S c@ jZYH 7"˞RېTD#jsB[%;ƈ#5Б}?Wya6J)dJS!ErA>zz͊I,p vul Wc]k3BL)@ډQ{DR5/ hY|W|U~n+gPb칍0mKo֝/oجYEGi#?A#H%u5bA_5E0Z8%!xГUOx,jv7IJWO~+.@jCèbk4]dnS KQ} hgYZ7zXZִF! ge]ŗXiɟ|E\Ât+.*aphG)%uG%ҫC@:9"v5Y_6hSaDn\Q%M]ZX~IOoϾ]jR: ă1gǓ75naIJ6d} $] 3k*j L>=#&)v"3014QLgYZ7zXZִF! ]ŗXi%ύvN&#bL:mwqOOTO`sZ ZW&{š MU3}8=ΫtըV 6e53r=g(Gu4pZ Gg!~" mUln͘fWE 'Z9z w}h@njqrnl¾Z'i7Erl+;|O${mEڊm r'Q?Y`5:cF 49? #.rtD|{A u6<7Ё^ &q$sgB~GB8vE6C^b`-v509e Ueԏ/4pu$2:,}M9hߒ'X1sOҴ>>ɣjNHnpw`Qa;1f~NDZ/ vP60#[8$}-D_cP/ϵ#4cٯc2GRϝO<0W8/XjNy K-`V&@+)HYDw͉b٧/: hG.LZq5F#P}(\>̓Nq7Xe5 l/'U@&fD?6X2_;h??xs HEVdz r({dEc';1# @]dӑwl?GndX2{r&j3+%WˆunwΟa|/P"˭jaFeȓlN@5a$oyI+ƥ' XMc3[GBv&c< ޝ޸ # PolynomialsܕSagOJy3q'V1h0Y=?BX17TJrx1H[m —! kAaG"7t.5YsCšAMմN>ĵ T^׼֕#Ol | CxyaOt">b 9kK+V> 0sK0`uw{bMq >t?QEVs$9r7F2_45"L*3d-L,`3=sYaVK߈^;/ '5 #x̟XCg/:@jF3.JJ(1+rEc1XIlM/F2 D\\oBTLWo)AAJ90lYBP|OQq(i dq3sW3R %㿃LC;8R$҈xtOE;5XE-G_/ 7嗺0g*eI#8H!KkŒK1(Gd-F$Aq+~s/"#E=$Zl2.oBXnF;GhM" ZQ~[vYDaPOP2Gtn̥[+!Oopzy,tꊤkRoXu>͎ WszEAHAe[u?N*6})qEQ )Em0NpseN'N]H?o^INv%١%hf,,+'6y_ﮨҫ#(~ 4XTE^P(K))o%"eݹ~*/I,@o=A1㪂ȝ o94F_ThGѵxcA dRoGgoK9؅u|+XɁz% _9| > {*Fd$.w%c."YSR3'zNxaF)h7I*`d,%+E!rmGu #9rgbƸI)_U`.U~9:st?۔Ӳp:b$z32>]8cY"p f4ct edЦ0+zR<ʦm68kPw^<^ÂmFx '-wAhD6S9z-8mG~sj} w1؞g(6d-c!ˇrBm Ix1^GuhE!8mm!8u(DvO.^O$ &'{ iT.؉I^4 (&-}v*{*k#Zs&z~$ ܷN!u{&IO ֭i3Yb`Dp-X~ *c`(FR햢w\fSh(dĽx+gu cv,sz ~ *?3FY(M @27v*sHORhzyQyq7JfB`̍s$BO =4w%oꋜ, 4XB|U@uXS'6TԈل=d}?=>Wߍ <79ab@Y=n740 Z-꼾9,މs<IٔA?'Z+^/~pc'/Qix*JbAuBg s$TfiΐPG0#.>[(QIՍ-%V(5=qD`-{hrNȞbT`"c ߷|&Qx=BNdH囎[0%ϝo;5d+~'+,Zvi[KۡocTJ@zdd~6 ɿ?f-/gJ2 1oƾLs>uN:nE'5M&=H+BAȭYP7֥\GfXP|&e gK] F'9XS1oޥ|@\U:ϲ7\OyjdٺDL0I|1I% (IvX 56EᶉrK'ũ@A;'5’CҌKYI: ʒS{dlp%:"$|TG}jSH@gRjQsZϼݱk%B˵?1**&;tX2~.Ρ :'='GrSM:٧e\yȷI5E5 9E#;^#`7- sk1$ ]^c+t ]kӅĪz )