SQLite format 3@  - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 1# 4 ?]Polynomials:threads=2elapsed=31.039cpu=60.152gc=3.036factor=1.947zXZִF # Polynomials! + ]ŗXf1-q恈͐7ӺV WQ=)"jݻYS]1=E1?kzS$G,y$ub'd)BbIL/ON pb Jb!Y2S҅#'܋Go`1!P[l<\l-em+i  ǿӦѼ<>fb鱓TrmҦ&^T`8 H7@[t+X}ނzwpNF6=1Si-!1&sUDTq3 .DslIgvw?wߚ܁؇@KqcJGis?QY@Se[9qf@?XrxVtZ׏RJ_;#ԍ2/lzY67X}bM*M@F&5;2=-'E2BTE ȇË {1~ģO?5A:&oWp )] .K$lе%V9_'ԇt{rgh_RZaq.7:wYq c.ڶzI/p]x9uL=v:BGr[(fNf ɎPWEi%o=C+w@<`Nf'3Jp!uHYFė"$q/L)iͥHn&j^'u5WAO=*q!4u_kkkh\FNLlpoj>. EK nl9hB Y( &04 cI7 nY-3!JCROT*8`Lt8Tk\i;F)eR7мdž g&;vefh%49A\N$IV7UԺ@ʬN8(W ,ϴħnzl=m^[ y)bGhިJ㻀*dH3P&#Lr|@',xdaJ1E%/)諃̔+ca1-=Y'݌B@=<  FZcztuS!?x+Yd :HI䒓+x`U'$D T7籖i( B~nx1뒻caLp93 R@`~oug}9t@kqݢxu:x4y =PgvB)xN<@Л& *)(T;Mꢷ{-mC@UhI?qQR lsU]:9顀m$l7'?RtPeruc3>+ +՛& h{h]c/ \|:TeIߩ|r58 =0y8 G,D?z1X` y[foy#\Cn[XLgؐ~nSV܎"Wst /vu*r9 nP6abD*; w-(ߎ*8.)$ܓ^7ؽ<%Ci;1Էk%-$!.DߨuP-)w1$s+ RM;x7f[0̍4.f{&SrԆ- M#, Ɨ]v9u7j{hBa 4sR3>`%󚵥8W|1!0lUB^ƪ:)H5}tKX5Kp2 c(?!T5b-Et3n  cxTA|Ni FH&8鎱 }s4 %6JuҧV~Krm]-\)BHp:́J7l.ʠ SK#b2GNlYapyѤ[m{~\ɞ25i=QG$V^5@f2E~{m8-{vs4 {BP~Q"5"*"$'ގXXe3aT=FQeN&J"^}:~".B"S|zA+B.Zn>If;򠺑p)p(hwJqϮ0ڽ-hV{(]z $2I5D#7>25 ?㤦|h=wk)Uf}wxFoW_ѴeO[5CᎢ6;D~slL&vԞRD"2HmڏiJkʱۋj/]CVg J/7 =o# 4Aߢ6aqToх6_ryc/=,i.v74Ao.z@x!-m_\7!fbt6\bz$UʮsȄ)/ør~rASh(j:vA_E%pĮbH֧Q:6o13ݧbZK"Ko};t)9Ɏ0Ϊ';KS uбը|r/#(2y[e>^>Dsw2űgYZ7zXZִF! ]ŗXi%>), 2F 8vjdf#sVmcv[`(xt,>JD795b`;U0Leg] Ys\v_7{=Ћǔ_8Y^*QʒKBt>]T-@w8m&@X9ȓ?~򸔡?íß*z]_NzN&A.Y ՑwͥO%vGB(J5W_x8ݮ**~%)vd3=Xw b|41SF;/hǥ`DDт5Mm*8m%i ܞ` s6ԊuREU<coPEV&K0Gj}z7TnLQkqOL@;Ҭ4zG;bNtE %8B-cBxubˁlb(#.at^N-tVqTr9ɒNݭ$vM3qtn5;R lEqyGD梬H_g1~ЛWoo(Z0d6@YRp~q;Gz&pk.5\H *> @}u9MdYJ`5{ޜ|g4{zSj6oYkBQ t_ dnaD|a;S2d|=T(>A!LekO1)͸3mUW!> ~ɖF{|3㗃,ANI~n`/`;YKf-LP)0V=?z9` atJ| 5]l(ŅT() OHcWsoCf#"sw 9R --8VSTeǎ(\e[n68ǒE|a-A:pfymk)-']Ƀ-NMS7xiBl(T2Ši9av, -eHaw%IBp.}d!?HZv@H#x}9w>^7>ߊ +E푸 piϊaV~RE.p4vd^ ~c%ܶD.=^.T(W4K!^9 !x5 CcIOWVHøw|p8~3څ&lܼ[ WRփ(tQ7vPK~{K֠.e_w<)}OHxC.g7%qEqb$=ـ?O:dl?!Z2p-l7.7'D6u@DsqAw0r Q򄿽Q{xabՒCl\[`H ,Cp_򞌹x;GI&u !h%.ԜIL)>X>٢|{r.%XUñ֎<񏄄*2]7RFQ,D_290׆ ?^Ef+8w jF!=ui46ƱgYZ0f02f6f0b848cf7438df91a12a4bcdd4f0a4fffc 2c7358b8a06650eec37f803b01424f3c937acf85 57d832db0aea24c58f93e26834b9d0b95d5f2f1a 98eea06df0ff957ef8b6b7693fd3dc82613324eb ad3e0430353cf9dd719486ae796d190d5e13f04d b19def0f21aa60775239c4a6f43b6568546283ef bd8a10d8b8af91647ad6b8199ad78d256018edf2 c913cb99114dfca0e4183e33d44baf386d1bfdd4 d847acdbcc2ecef1af24bc2d2ec3333eef641609 e09edc046b5028842c84c938396b5758129407b2878527395436048d51bd6287a500d1cb05dc0aeb e50af90258c1ac1951ef5f989d4c925fa138d449 3e1665b4a2364826485e0de925f153ec2084f742139285dde38acbaf046f96ca603b257986966e26