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 .# < mS]Polynomials:threads=2elapsed=25.001cpu=47.804gc=2.228factor=1.917zXZִF! oU]ŗXf1-/6vR[2ө=%tUi都\A9ܠ()7p*J^P 2]̈́JKD# WQLuMHU0#ezv ixDMOE9ct@- mR02 ]_Mŝ3עb+QP;ENy_(',Z^&a 37?  ,ů'wIEoUZ?ϓ_e{N KX`40[>' w&P m]$U@9X'Úot[aezsGI?Oz8!Yܿ1&իkguBM!&3kH9 _~%`Ɯ/]:ڥ-ՇO[E(FO_o=#^G,$_H4 xp,ARq/8?BPz zϘȞaqTUҙ[@Q2淏sZ瑒|RŴS?_hy/ZDŽU 4p.G aJ öЈ[N:E\Md"6a2g'Y q%A\&=y@?#ѫ'fԻo fP蛌0>5H:gYZ7zXZִF! ]ŗXi%6^_腬 H+-#5zm&He^n6^—Sg[ ʨ_÷%EzqK 0S[>>Cr8`OaFdӥ񖤤D6+_afukfO,77RkB-@9"^|KY\Sq4q`c$QGʀfaDB5)C ,n-MNI75De4Wm  Ʒ #9>?t!AUs>F0&b,f;Ȋ` 20qUD TisȖgv~yss))Z/xi 7NIЮPJ2G-Lu(F&QяP^bs\u@EɉH-/pU(GXc0Ug2KX7FNJ@//n:Gƅ^(&Ǒ 2aLN^R^+z9ZMB\/$K쏈՝-q-a+="Zmu y/轞RQj +!峸[8"1;0tcDi^=k% bԅ,}KI"s麫<EǮ>8[ p@3Ե *$ڋ_՝^e fHDXN^>4~(eSA6k؁Do?q>6DHT<7rU*G>_T_k,+~&Ϙ83}H X֞s0ˀ~.#Uh^1,hL Xyqt*q ڱF.['qc(6OClSo׃xDW̬ v„@[5E9/abTxO0]wmHMB^*2v^WbQÂtCrҵ1BpХ7hp݀QyWCO\HLKP)A-Y(J4pD&K}n"JP=ƭ^[3dN9Q`bе^s$jd$KN$ ';pcXJ5hk(Է_;6Q?Pq 릩X.[&W+U }))B#^ֱ%} @_N< PJfm\5 ^>oNWYm`ϣ&2xI5|^qmZϭG+$dYYQ?L6 ]q@ֳմ3S\q9@Kd持}<L45= ޱgYZ0f02f6f0b848cf7438df91a12a4bcdd4f0a4fffc 2c7358b8a06650eec37f803b01424f3c937acf85 57d832db0aea24c58f93e26834b9d0b95d5f2f1a 87138da535ffd5ccfc49070931196d172abbbe27 98eea06df0ff957ef8b6b7693fd3dc82613324eb b19def0f21aa60775239c4a6f43b6568546283ef bd8a10d8b8af91647ad6b8199ad78d256018edf2 c913cb99114dfca0e4183e33d44baf386d1bfdd4 d847acdbcc2ecef1af24bc2d2ec3333eef641609b9e4cad54624ad835a14cb92fdf2da43457b5cfe 0c8d5da11ffcf561ab033c36ec59459b7d4f6e36 696e9f2819c1b0ea32fa6ca0613aae10e741b796 a62a25aea2b8c7686c40e385a93c207c9154d370876e99b6504e121901a4309c4c9582f30c7599fe # Polynomials