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 DD= || Ow]Polynomial_Factorization:threads=2elapsed=51.629cpu=70.952gc=1.564factor=1.377zXZִF! x]ŗXf1-/6vR[2ө=%Bl=E^X = Polynomial_Factorization:ݯ.xmM9rM*qLS%Rbk҅]RѨʕ ^ SJ!M@OS2^9dsGA߷K{"6Vw,+4V ԫ:f5Fr'U03{\{4Y~7u?`ܢNo*TB)* M=caAG㈓N%QJȈ#LKGt t$(.qq(LYf LfYԲ i峽OP1LC{aeWd$+ge.K2)9GP"FN`qI \5p|K#1Ԕ5K&RJAHS5;&EjC xX/6+' >X\pA / >)& ۑrJYĔD% 8od?یHY P ;n•<5: @X[Xq/?"LJlmcyv!\z,d˗~WOojcyDJ5qGU#aWn`(nˌsXP\'NbDgszѿbS.Wa*{-m>b> F\nw4jw9/fK#؈}܆~?$FmJp테nZ-UW^44)9@Q刔3.6 P̎,9\'$Zžt;Auy(:bKg"Տum~^6᝝j&/#}Cc]}09 —ThZӢs1rCڡ~7zB̴"2{#L_ +Ff<#j^vf ; %>7ӐR[Ie!"UD#*4!B^akV-X "U-W^ΡO;nȭ{Ð=2ۮ}åT!Xfy>I@y#'5_7:>䈫\3g ]4#o.g}" Zs\Ѫ6sj0,E͓@8NofHX7 ģMW fM̀0r  `(:ؾrlj涆Yu#?uupfȩ`tYW}?ji]]@.~s9\c]7f749035x\xO+g 9-ݖvwE&W]BPZ e__w!k$_oRI N D׌uN$Yrv,@u7>E^W~T ؚSz#0to !n7dcb _78׈9H.w1;Wx= .ONcz3xhAH։\R66;Χ;%!ͳN!= b"+," \=weS3I|t C)^J6QQI3#SxK.=4QPKű@3mIlf 8󀖞VH]L4)$1^emG¬!ckHQVdx#ECVvvRI~rXS'LP@'Wekw+]N[,Ol(砪~EG?I_ "KZ~$9 Y̫S;]Rd#b2z? 4畠᏷Y*O)j2YZ ɖF"7#32Q jK@qx.Q<Vl.h''ZPgLWp+qѠ,#륺+@?3I 'Ң2iYg[WM}6;kSc'?OD`>abXi"2=Ahx,]x;F ꇬr>\'V1kG8&@ :H ՞iN$@_]5 _ r% gV)p cRҢԢ  xStɁ_HˢL]F(B?;WYhQQݤ7ޥ|z[u %JMP+o+#c]"1!({gYZ7zXZִF!  6]ŗXi%DQ4wWzDʮmVэvSlLrvjW>pCUC A\TJMa8"Z*STPbܕe0XUx|{9YRitSd410IC2nʆX('|xsY4QZg6O}%=z[΃BSq"+ٙ 33)DAŀ|lqgS!+O,U ǧP%TTDj6"(0Ӛ&%!F`N A7 !>FLG/ |f†HLl8w5ϫla:D٣|!U"[zO5Qn6B,BҮcХH< (vShθ-exUEbT+~+,p/m+rxx9RM5D4;WYWT\Ǟ"ju`/u~[cQ<s8hyԣ?/ET4pdc-\p>[g Hx"iy \'q4Ymz=343X;9K ~JLĩuMJqcSz§c;g z_?%Hްpq}xy]1(: l-fDE?q lj& /kz„IUư EOme~x,fU}vACRWR? 4F<,q FU;ə490Lv˄Xtu5P_5- \.LiVN}h!4Fo*"{pÛ$pS Û߂гpZ ěN=XSd Tu_~,%~((NЍIYi$$#e|PVc4e )[Q^&ʡs|*^4X6S\@i^._ )@ _ÓyXOz=U-xi̭< 9޲ɗ҉}3i\^Oz$kJ|5[=ΒGWmHe)Vu[,D -u2mB]zY/{kPofG ,apnuca(cM,EYo'^SKxǢI//[$IM3"!lc t>KW4\\ d(n&"c38jxX0& dGKfȖQb餵7/D.pvq:K&5M~~aA46/R,+zYAX9sq 㾑Wr3stq4mj/$FFȪ !};oR0Υvl +dGpBBygz"@*a3)byQCtTpo=YX:&h2a@*{a|"!ۂz޽0ɲzSd^nlfޯ}m?mJG()*Em{GN ĕ1k\ D6)w\1_yz\+*[NF?BtHJV7l"NzjW.ڒ;q¨Q~Kbjei jVd91 B6*eSJy l!!kNZ4! ö0 *&Jz{8/ s9 ]dKǀFP&C>߻䔈h.%;shc#Ox#5&CJ; tp ts,bRuBmI4c_*g|0y 66( f-f]y3MA" {rBq Y-r :ryܛ ;|%(2ZP 6]'(r_nYw3bT bn]`/f$-sr(-֖b3_y 9"gӪYQޥa= F ^L^&e [\j`}ٜ0bX0:y+!弑 Dtjٴ6Fb! q~[;mRL OԫNCrVLs"7Ěߟe9p|<ƽR~Y"8 #"#r}crhTu-d8ɡn+AͣJc 3'ns >a{ x[J~م`, t{DhPQfm[썆20p3ǏDI ,|hk婊ܱM¶_3A>cGK+`F)0˧^UۚS,=]~\YR%quI,@ u+Īy/NDQ杨'0РMβVTR!p"p̉K1 -!OFWIj73 +k_ 9Z/#1tUoNi}GZϭ8zv(J_(=)̲qh9;k3dAZ̸$6}$C2-~2$yh$v("P Pph/'[l3$KlM9yk8Q҅dCFb\@gYZ0d75cf2574d74f827dc4a32d33c02fc28d0400ce 121b5c81f9dbedec7ea43bf59eb3d94167eb505c 14eaa3332919456461b31c16e0e0fae123233ac8 18bddd15f739dcd43f146f8607ca548e20ec793d 3ae07ba3f06504d0ffd63262a4b175fb34440c2c 4968c8440cd501a117c7eda1fb9a8f2fe7d14a9e 5baf249002854ebca32aada93ab62260bcb439e1 63c6809cc523c3441fe3ca1aea66dd0f736dbcf9 77e5f178adf45f4d1f84c7853cc328ed4295d5ce 8812f9030ef057d8dd10bef1f48e7c74846e178d 93e0042b7b1fbecfc15f02000c3cb3b143438581 a3ac0d41b194a95356663a311b9c8e47f49d1d02 a5dea19b38006556a5c07ba4f7ca5d0f425984cc a826210fe5bb9613887a0056124aa363b5dba5a0 b351b65ef4791019f00b044daf06b5069aa0a8e2 bf7fc28a574ad82596d25472c6ef357f08a0c1b2 c38e77359814a74eb2075a0dfe891ab8ee842750 ecdf5dd176c19d9c1f9d9a2271b855c52d34731d7df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56 bcb2c163557370fc3c262b426278daa35f969e98 b22e4c2901a024517ac440e4fa6dd75c666e05a9 d0ac89accd1212404966abd2f815523230df7cd2 387e6ee9b0ab6cb9a2a19122a17912e4e7527f4cc83e948a34ea5bd9fae02e2d678de0f71d87520c