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 //N# l mS]Polynomials:threads=2elapsed=24.507cpu=47.352gc=2.280factor=1.937zXZִF! -]ŗXf1-/6vR[Uy{n > gA[@s)++ٰ4\!&Jc>BOf>l&a +_Etc-g~ݶTTAT ˗|&#vbxu%d95)8K,6] P FGtW.ۢT\ӮYY99ևE9 mkș%av)ֽ:7$ט(ھo@<'Jڑtir4 AQ-W?0.(`B4k }UeAnBS$_-(eB0kd}f2^r"ɢR}_*2xEI?0 '!_NH5SޝO/ַ 3"4(u6wYo)^VX ȫ/Um]Vҩ2zN':b.YF{*\u1 _ '?!3jMf^~oSCQd9S'aUCWug_F g\%BLmZ]w ~JlKlom:GCd3O}\?Qi^҇J\8F O{g`h m ۙ RuzgօHi2Sy9 xhNJPr_8a*6Tgwd5T.:[:W}NY1Mٰ(njĆF+oyIT356bgŠm!>@0Cҷ]Ȋow=A%ޚӢvGҟ-T[^\Oظ[Y!s d¡ݗϥjk.Pb`unsx@C; P=n$-hU$Xi喌O C[}wp?Ǡl|G\hpY&+rdHcvO>( )a4,rN:CI;Rȷ۬ᗮa "8Nƈ+teS`*4z fÂb{ H jA* | Pazfh m-x+ ]2k{飍ƖF}x6 1#&*Tƪ lٽN/׏sXxJc`n7TH:ŭb~i`*z`*j5Rg@%y:Usy+#fPjրfRحVd$uHm'Pa} gۀ{R=fmu},3a{4Ӹ4aﹸ9ZhCj@fU}YOˉc/u/K&|8Z?໅P|Tj__ߦ39":&5e_C/$ e 3t:;2B .+ `Ua1,n)Q_p'@xfgEKOW4Z1*i5]?  Ρ?9p*0Oul šz\>V [(˄4_*Mz`>^nĪ2@4;nn~FVBB# HcYW1`tɹx) s+Ug]t2+ -<}^bl~θaҿc'HeP; נZP&'Q;h"MPHW kЀJm _6!Q LIk]+(n+/HD Ғ1j'"q>ST[b='f)yjID1l>u3}IXFr8>qEWW,72#C]%x6u tdG}hn5#t  0~e?c>XʘULPDԦ>&W/9&ɉwC߹EPxmVoWE䁀3> `3r/*gI)a"({@jEB|,j%y"Q;;bW9+-h0>W!Lr xncd׏&YM-L} s2OPKr:nȚ_H߶R #I"yy  бgYZ0f02f6f0b848cf7438df91a12a4bcdd4f0a4fffc 2c7358b8a06650eec37f803b01424f3c937acf85 57d832db0aea24c58f93e26834b9d0b95d5f2f1a 87138da535ffd5ccfc49070931196d172abbbe27 98eea06df0ff957ef8b6b7693fd3dc82613324eb b19def0f21aa60775239c4a6f43b6568546283ef bd8a10d8b8af91647ad6b8199ad78d256018edf2 c913cb99114dfca0e4183e33d44baf386d1bfdd4 d847acdbcc2ecef1af24bc2d2ec3333eef641609554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 2b469e38ab065480632e9b5b8f44c208e16cab8a bc0749a4f96de53e4d56260de41318a1871837d0e4f737a0f977b8d26bf64463e98ac4220bf696b7 # Polynomials