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 =# L ?]Polynomials:threads=2elapsed=30.650cpu=59.068gc=3.040factor=1.937zXZִF # Polynomials!  ]]ŗXf1-q恈͐7ӺV WQ=)"jݻYS]1=E1?kzS$G,{v~zM4a(݈nAϑINӨ)UAC9+)1\ ZPbwoP]:(o1.˒hZQ;?]5铇DZ (w>9V3-xWuB+Lj"CKv\΁HW8r+9Z,LW㥆(\:?)^짺`GzegxIR)}emSDG>q#)=7M\Ghe֪ʖwQ*͚V$ӸCL@CےF6Ihk>JS ,@8'}ʭ¢ { Vm,2q;Eu {1^rvnŌw܁MkgЍPUn& eS˙hԴ3рĵoQs|)uDfwoQ,x-G]fl{ $܂!USS)m : ӛ.笹=ןRX ?T'R6zűZ78<Sy)~eFw x' 2 )Ch*y# C-‰U;]e C2~>Vszr_j75ȸIEBi xzsyW;NuWNkBhtfbTsY}##?<*Xä )}kZ߁Q1GcT.LGb?(KG|&J0duEJS3m Yw3aBr8]4-tjW,h_8R8U̅"hb &x *c%C 6;^X*3}j (5'2"BG wTqS`%Xd c[-C ?K֙hJt ؠޙ6p=t'ќ6s(1r{:$]{Иe yX&q`Oa|qzϧK$u0*9oS|ņKe7;,c*DD43'[EP>7| *%""B ,XO6ӳqʕfj5O:m.*nLW|5N %"ċ3 }C_Qėժ\--< n[e@%ruzO{-H*Ėh7{:>n?™FPK ~TYArdvm_gY…e0ŇQJ%s^ t4BrKdLY I}^YszKlPe~&1O#]Xp\F;&:1_퍋x+БIJz'APQV,i"99@z6䩒Dȩm-/ 5K_m. &Υ{PQ<0lxGUn#|'( }enMx;G1Sꤶ#4Q}@ [J eNrhFDcy*JleZf:DRL΀o!`v]fYQzu{\vHO&ee}ɸ(ZkУU/4`MDɹ6MR:S~}QÎ>Z\]VnDb#^A>Bq*:djh'O_d}0!a16pl_Y6Ŧ{Dowp\Vqpg-WʈvCr_uǔ٤تIZ{@hԇ+|/ B~!́,=3冝r0WcuC2:u*zT9("z^z-Nih<ll(ͿP`/i"k.&69KZ׵_&)WqD$Ҕr!h+]yb w9dASW3XkamdK7mmcϋQ!%imUAξ@v+!O(>%4[w+*J6e*q46\Z';xnb2 fm wr^ɉo< mU3bgxc:guII\`i Yic 10V\'"*^J61]S0 ONZC;7<ьGD$܀LL~Y7&tѩ+(6-IEFn @k96KoX%!g}j61PXxeo]3Fka3"μƯ#EL--֕R$U҂N$'X:/_/*B4c*]v)2. ٟL*/j58ga`bZBkX¥Q9VN`771e&:_9ͭ GBsH9*K5d#̱io>k{ <-ԒQ=khplc dɩ$cS4qPagpk]TtY9`žE)>$* &QڊjitB0+-&080) ^L,I?W rDV*7f\m8.78Ho)m ͜JebR杉GK0 rwHaJ8fXÒ" 9iۡX:m^󘉋,xy-I}BS(hp>Yj QVN!^h'-= ̋KSyKVԕ X w$K#_ZA٧p`qpw`}&p!]fM~f.,fPogYZ7zXZִF! ]ŗXi%Hꃌan G9BQnMkS7 j^>O:"/oqjLd!z[a]H6Ve}:E^K5r"advZP](B‹DNUW4q N]D tn-yZ~B|Kv'kڻ  x}G-#єKX0d3dlf5 wOj}*& { z s8 tA`w:&W;]V7m R*NU%^J^/w:+牿l2w ?ıЌk*s 䀯m9.;;iXnh,ɺ ɰ&WРT9[ړQns 0cmOrNO-UuG:A٘7]"& )+Zw3)#"ǣkUdf,j=i{<U)ۛ5e"cߍC_97 x  ­K*y*tn(pďTeQRgY(+|s4rϜo'$k1Ǝj/{vf&Y&<.Fe J!2)7" aQ1; H 'øȉhZIhQ{@Ry `ai⣊hr\BTx_FT7^ܲf?n5,^O֟>M3h=4QaJ 0Q<6B^sE&!3#%DOf?ύ??0R^zX0;ÐSﳆttW [O1zDW*{uirԦ\342RDл gYZ0f02f6f0b848cf7438df91a12a4bcdd4f0a4fffc 2c7358b8a06650eec37f803b01424f3c937acf85 57d832db0aea24c58f93e26834b9d0b95d5f2f1a 6a213435ca6ce89c07e8bd75e635b205de3bc928 98eea06df0ff957ef8b6b7693fd3dc82613324eb ad3e0430353cf9dd719486ae796d190d5e13f04d b19def0f21aa60775239c4a6f43b6568546283ef bd8a10d8b8af91647ad6b8199ad78d256018edf2 c913cb99114dfca0e4183e33d44baf386d1bfdd4 d847acdbcc2ecef1af24bc2d2ec3333eef6416098c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07 3edfa7f42f69c6970d78671c36bbb5a33c89ecbed478f2cf3507fe9b6ce379e5fcaeec9fbff173a1