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 =E \d !%]Pre_Polynomial_Factorization:threads=2elapsed=28.748cpu=56.544gc=2.056factor=1.977zXZִF! %']ŗXf1-/6vR[2ө=%C0A9RJ33fg3k|gXʍQXc)הZ\c\@~k)1x>QU\1H.x'ń nO%5N1h յ>"B<1@w ȿA.xs5SR6 Of_Am R IvAETZ( 2HU9T..VB|9{Sf,yrTp᪞VfƔ'4dAZ^xxŸ/s(&ƁEDĻ'—z{PB5+ D۞9/1ZſyNATR dJϞpl"J,۴D0Z[%@w"6R_݀ eQծG/Z! E Pre_Polynomial_Factorizationgn%vnBy=0-Ǝ8WDxfPf_!v GdAWu/8-Z5.7zR1 dž@`MbrY:xVl)#aC{o2-fG<scD^.`Qb(I36&(^FNtEB0'ofo@l1iHϷj?< Bsn+mxH87\\ϜTZmxT#f'@.8EjAT ˒yk{J^czcca|` .c~j#2wֺJ3~͚bM(kퟁTCLWnt"2eh{ŝ;{5/E]#Hh)5䙴]aT`~oA`v3n(EYrxX .;V~Klh%xV.O~0•"QfrHGQEIrBzJtQ5PDIB`d 0:M!!DON<ٮd ~' ]BIv97aVD؜x%%a?1]$LY\yܩ-)6Xԋ{٣ɪopuʍ ~x U;xxnu G -EX%O7U 6֦5f-#]<=WRB]*1ԘKr:Ƿv嗬BJ r?3K'z}ݬB b=9VHj./r"% ;O3c7N74x(C(|6UtC).[B>AJdžoxz?kP_|"Ԙ?K+3hͧVO+0%]Fٮd$^w-kn|0F{21'qwxwܿP^ v@GOCQYIUY *. 0k 蒀T0Ji7r:Wn+|WGzw[MWtlH h( n1sT)K'ȠX%]&FQSԨ*H Ȝ_f(wLNdYG(DW^ldo WH!`"lpMNT/N&Ap7N\JMQ5=y@PEU,p({Fw`]<ƺ p7~"{Fa6grm$/- 1{f,Z46ѫQ7C!VxyZ{<#4 e2GOks҄;^2|Aם%3 zd;u9p,%Q>؋HHԌ|uDjVz(_3t}w#<[ !qd\B2/ uYS0Z^%mp$.GilΐI~2 C< 4(!!k`qWxEPe4bnX&H}p`J"im*LIJtl9قi{r+jGP1W y q9OV㌠Mƙ|kw XuIPɄ,4G'ȕ7~C xt?;`+gۄm`"NӷSju;.(%2"%xFr8D?J_&r%s@IPZ KG *()b?7kxwI^gYZ7zXZִF! +]ŗXi%:<ؽ.Ӽ"'h{s+Ջ#›.;k5z;$'6Rnu/ V<0waTOo2*d"0p7AlezG__ʫ]hf3iQedхyL*svtC^Ў禁uh`=Uu=j|I;CV(Ͼ.$T+ Vj3Bػ3nCEZ$njFq;mcʫ,9'AU>H"OpO#^]3Vg<vu8smm]aߪ |[ڎ JzѺÌ7ܙsS߂W|n/.Mt-0V?`5H΍Op N՗Vb,Z}|mbyVAE][ ۹wG1%X 7Gu!)ͅ6(xa$/A*hE I.:T~#ֺaxuد`q8,!*nIHc탧!̒֨X Y3-w_!|ӣ3f9xENi˕T|j@_OeB4D6T՚y[˼#ϙH P;ꪅW8;|xAÉ]udiХti|%q$_tEx}{BЎ=[nmKYȐՃ.WWjybE h77q:, m N~?%xz0ҢpS__<|ޟk=}z6EDh@ JYY*BC1UE"5\yo|.=u{juSڤ4e&BN 3>mMόGJ@֧ fJk-\Ux 5EUjv7a1PwW3i8%73%uomoLr[%Qy_̼ӵaegs:s:iW4MRelʈ;/ȯpt6+ Sᆲ@qW~A4[トw뷴z]+zpT\%3]fMU;a>kEc*mUAg0