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 z# |d mS]Polynomials:threads=2elapsed=25.725cpu=49.188gc=2.596factor=1.917zXZִF! 8]ŗXf1-/6vR[2ө=%tUi都\A9ܠ()7p*J^P 2]šN-e!d㻮WVHը&1 '~$\seR!_a++9jy#K~lH/ *8alqǑ=1S`xC&)^xDE `Ka*%(}{)ҩSԤܧX4]}s,ٌ=j^AxR''k{'QʴMNZd.BJbC W{@W0rC)2B%np5zoʋ҇oKpKD VA2Y"$&p>sL|Ec_cJ Ы>\􄢃5G=xx~(4 c,'%w:|8cpPD|&^G_əp0U7fş8w18M#he*zpCJr$> /V~4nNNnϖ#cn<h@_=#9?wZHţgXws.3BbGH/]LмW %[5Q ?STU1G{)蠱ъʓ5J% 1Œ; `bOFM:p f`I ~S2}f@S?Zf؊GeGu7ԁ&pQ}&r'n<[#;晻d^ c$u$>|8s=80 %)3b`yffo&`@~=gYZ7zXZִF! ]ŗXi%6uOM(neDlDUn~+#7*JnUvxeԱxg9rYj_I[ )QM5&͞q'C)[EG%=cXx8[a՞V)00h-&Ir,>!(ba< %kʇn=y*]E.֙<)kE*DzQ--q C|>Zdp:u; %a9UȠp/)4~jGTFh$Q ^) }ʀ*݁{Ѝ%##xia[R`VBhs|0fnG -2ӆ\$︄|rÿ{]hvI$]rRnV!;p|``i%,i4wH< |Fi[k?gX&t4? Z*qlOkcbbJ L}IN(XĤrҏ9)"/&üt-ˀAHM%Kl24&?rOsR"=Vq]cSq' O?UvHٱ|b϶+Lcq;16e-Mk 4Eh(daǂ;_p@;\9#KjoS0ØD8\I߭Up2Jǖ[AF_1WwR`}XF ;䋜OHyy꼰, տM\ul .O?Dܯ*͂Ѧƕ#c1Qt]NVo@{F2Q5 <W"v<4I%L&ObQufN0`=/"jQv%k6JG }H5ψGr{ nl %,SMC~^TA Z?\])x{;oX [|R0>^ˆ ~;> AS4BΌ,A,EVwuc#EibӨЍYI:t@U -}U*@_.89/)eH^ê̊]{TCr\l(H%7Yb[8n{j 5dzIsQ(,gKPSܹP$eBIC&UۉƒnW=)֙"K3/O?sD-c!+@_}Pq*[TorbHPzgmUĐx2xyAv7/#) ~d(|7ȩL=y6 tprcL* o`0B¬AMjh?;<+⁩E}R"R#9N>>3A6CIW(" #1>fuH9u >tS(J1F ՏJ-_v&oWz]0I]PoB]BP1 U@΢S+Q@v1:*7"$Ňd\;Gˤj~!m6&0 *eo⍅]1Y|Ib|#l +I}֕?+{}m |ċ#mò\JS7 , 2qCgYZ0f02f6f0b848cf7438df91a12a4bcdd4f0a4fffc 2c7358b8a06650eec37f803b01424f3c937acf85 57d832db0aea24c58f93e26834b9d0b95d5f2f1a 87138da535ffd5ccfc49070931196d172abbbe27 98eea06df0ff957ef8b6b7693fd3dc82613324eb b19def0f21aa60775239c4a6f43b6568546283ef bd8a10d8b8af91647ad6b8199ad78d256018edf2 c913cb99114dfca0e4183e33d44baf386d1bfdd4 d847acdbcc2ecef1af24bc2d2ec3333eef641609e4688efe0911f3c4685119d2413b25847e9bdff2 fd75a6d445e5afaec4d07c698e0e0aad8327d77d df6f77d3cba6fb825ee5fd35d1c789d872ff9d4b f7313a7cc9a42baf2cd3d6babee8d43a73f48489013c1f90c49ed076e71c9bd58d0be6cd2ae13d7a # Polynomials