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  F= l ] Polynomial_Factorization:threads=2elapsed=52.906cpu=84.380gc=2.916factor=1.597zXZִF! *.]ŗXf1-/6vR[2ө=%Bl=E^X:ݯ.xmM1ftTd^&T6?pCo^K6pBoD_P]M⫡|ض9b[ڑo"Gzu-q|cC "pH6n?3T;*3({&_cx$v,7ʣy"U]UT8:׋OUx)eƆҭ^[Q"\poUL0i>3'ʤnjH} 룠KADi`e@|MHn6oyw̑[/9"<e:LO$CE7¤dl ŻX}ş`G)}]\Jk`ѲFE3sk|$^ٜ' }9J,Sr%zkpt = Polynomial_Factorization!Yt)n|mEF=Ǐihl˕1&)4<^&Go"qD[PN _Qisp9X?|҈=x  9[vTG~t3bB3`r(>o|Xua_ZLe2]]1F0)C3TtŨPΙFL0X!-Ѥ!OE9I^Yay9 w< ,~0 N<rNm2/G~:3,9N,DlY:-}0QžFӇHܡT.Z> &iI$ηF&IS6h*7>)H׌#.D)v!aN کoYD e/PmH.P/7Ԯ*%WA*%LW, Y~oh2OM@טӁ[d禜@ sI]ƁGr\z%[ 7?]9U=ֹHS6ۯ,(11\᭒`nULasG4I`K&NAt f+F'V>> #`x9yg7_l #BC,Yadk8lm4d3_UK+x3xڋ%BM\5/*%,R?Kq9v&FcrlBފi>)s9iT?pI4(E#ԉLCZZke@IoF(! I1dA,BUf|hw\ή(BfQ7KhCRs'εS(V(z#i<)b4.r,ZsOݐtQ2=DlT)A;+}a+ԓ=jcSv2#OA+@}K Q *x:Tfs6"zmN{$4Wn$ADؿǨyO<"])?-x&GI=9tGV}ޑ.HjzmH P uGeZ5}"Gi K Z^'_n'cѨi`5#.mi-(1ʌ]c]Y<ڸEmy# pr~=*f%_;EUy Te0 ؍g8B Y.UNw-skuu~߮N#=YXޅfScEd~M& :c!:ދ^;.4]@KS pwCt<8%őz5D jU_-L48ua fcRd,s8fuHUڛفwv0۪:SP~(e|Fs)%USܤV|2fc0썿OOԅb_T5rYo9RS;b"ymIQOsĖ{b{T # g"H W0dgT VN4";|Xƣig&sLW_X$ &DAX iClfϳA;_l`o)J؅ !0CR:dYu= ,I/s$kUϣGl_Z]9s3@Wk r49 W&:Kie~^S]*A;},+H+-q?B^N*KLtY2CVֹ)hSS1`/D8׻(ez%㋳v-)s!>9S&!|ƔmjAF'"gUO^qlE^b)qRj0/%=<[s]k\^MG 5U?)~mb1:hACyzC]r`6?$_SZzR*1JsFIXNI L"X+]/UN);\bp@@5-мnVYgI-t԰[K WJ܍pʌ$qm)hO*ͩ9Gsqy&^ ̝pwYeU?7j \ջR蔚 nUE|BG9NV'Fd5HPϛ!ehR=^|楉\)&2zWol>%wIӼۉ Sĕ_2ͥ*,>hYT8K7h\ZqMTӏZpji=C)ݯ7"̐7lyaxٕ^ZƞROT[n1t(lQ([be)mҕWLۖENHU^NX֤/x UBsO䣩?+9op*0{|kQںa.=_{|wuF1T^tBEAj~$#8Fk?o Qo