SQLite format 3@ .  YYQ77Atableisabelle_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, "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 "# dL mS]Polynomials:threads=2elapsed=25.848cpu=50.316gc=2.636factor=1.957zXZִF! ,]ŗXf1-/6vR[Uy{n > gA[@s)++ٰ4\!&Jc>BOf>l.w &&i2}o3[2s?}r@;;4Տ$1Ӕ#8N"SJa:{԰} h2#.2DiR$z/̖՞~fj1Z#h-sFT :3"TTpuTIV"`h5tJq_3gVzaZڸmnP$LU_ZIb`9y,δwݮW? Hhyvr4-J-BN;f|CXm^.\RE@ZS6e-54#0O5֡IVԗz(Z`z i7bx_ait~o$MdʧK*+"$(?g$,8*9N7{5oV,L)HkH&^IL`ƈBmtm1l_\^kyz*LYSK߳ʖS}ė?tMΝUKfE=G/>P6dUͱ[ ɺO|qfC,dD9;zR2&JRyP|`rˇ>4_ؖs?nD{K˅2Q|z/NR$ƋpPRU f kUk]Ӓ %p.}$cGc\E:Xu.s='۵uyVybJPn։b`ϣ,̳9xR&2]:woxA_rcg)ݡHI-.1aǐt*6P]¢ߗ[91f6x6@AzX6 M@$ªf2 M"=T.͟qF-aoB/D(,(;eFQZNPɋ:wXt+=\HV[%]l=g;ՕoM0Ǔz@|a<ԉq>OL9ϖUDWE,(4+(6i_wJoZjm2v]>/y. ӹΟ!P{Y;cTL/|6bF* r5<_y.^^- 5+uE?rGy6Ċ |Ǎ7D5 GQEt%XeX5sئD9g}Q>y@}\!pNN{[c =?=FyidK 6=^Q ^}~NĈ.aӓ$1a-hL!xWo(AMzԙnlG`=O6LVI[+| Uali}b .}fCMTͨ}BT^*(rN 1jWpjOg ]*?'e*F 1T#0TzţV(wjn8僭g?(ݫc+;l;1h[N^![̡Z=p[kk`p4b$6StbMJ5(ÒdcQ`JɋOЏy?+je)xYm~4%2SV"n94Ɍp&h.EÊJdzYdAeT-Mi`LVTSt4H8`ۯ'~&%{XFq'tFBG=)YO]TY#Ie\+8KuY7 xr>A:Y=k#j#m WC*>cH \7#k #@?-whX 6L/1ȸEQn}ĶZ$^ޠ6X]fߤ/ /ߔlgYZ0f02f6f0b848cf7438df91a12a4bcdd4f0a4fffc 2c7358b8a06650eec37f803b01424f3c937acf85 57d832db0aea24c58f93e26834b9d0b95d5f2f1a 87138da535ffd5ccfc49070931196d172abbbe27 98eea06df0ff957ef8b6b7693fd3dc82613324eb b19def0f21aa60775239c4a6f43b6568546283ef bd8a10d8b8af91647ad6b8199ad78d256018edf2 c913cb99114dfca0e4183e33d44baf386d1bfdd4 d847acdbcc2ecef1af24bc2d2ec3333eef641609728eda92c596448850baeaf541586ad0cbd7b32f 9daf9b2243525f9f5d1a1f22d380df7ef09d72de 3e315ae02238ba29ff4dfa91456277ea298bcd5c 2fb1f02dc0792957fab376c2c1ab62f3783aff502ed10ceda0c49c476f4cb0dfdb98dd3da2ebaa25 # Polynomials