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 ``}= Tt Ow]Polynomial_Factorization:threads=2elapsed=50.322cpu=71.516gc=1.708factor=1.427zXZִF! ]ŗXf1-/6vR[2ө=%Bl=E^X:ݯ.xmM9rM*qLS%Rbk҅]RѨʛVo Z`\vY;1,Y#bϘcR U v}!^97 h}J7?'s4 <U۲D% R+, MP %jAOU C~G(Gj=zRo @՝_%X4mT,Nn`ma^PAIHc2S&A@qm8d>^;+Y} 8s hXuF^{hc:8OI!Fޭ> uFe,D.6$/Y0߭*dŲgaA<7Yqxi=zNUeO2KJp#OŰ{ؖ4lJ]6VQ 㧲y&D7$V\+@4oIAk2AfB~xNS'WN 8L1((Mk٨sj]%o!B$B j1\C|u6;.*5>ז-RdmzY = Polynomial_FactorizationۡW)!)MS'򋻦<*"%c6Bԍv̄́uhyws0vf[>&KB&Qh;nC lYE_Y5|&09j>}VUX5:S+9gZ-$}8W3@ÓSMQ{QsP?7Yv̊?1ѧu\Ł]7# 4JFu`d t)wsxS|67aD;X;di>u(tȧzY\mwf>}oOE[ͮBHḧbNSc;\f}ȵo+HsJZ% yd0=)7zcEM,1 q"#-Ӣoy%Aa)aa#C11)6;Clc\k, v;ЯZDԇ# ͗GpӬ%'9@/үOG\3ɿzˆ~YZb~V=T&Mx 6 -1@xНlinؑXߠ8Vw7B%+(+wNLX9 mlBˊėgjb5 BacnkfUòA~=vXrHmLtkU|8ir}x(ہPRҖpv mfFe5tlg21\0?Mab H3SU1+F xhu Mhc5{цeݒ/5'W%:ب@W{G{A:f }tl;N(l~X|wԩ8n<^ok ЍRcZ;2>-X<6VwcXaK3IQy!eΩ6=Y"LpF""FY| psW?!hv;gs^GVa^1P1Ai('VQN\nYyY&9 (0Ik/Fuđ}˕ɰ6[b$.F5}@]Z4p604эNy{kA L+)RM$ƸQQMWtȁbɉ]qO뷇^g+2 ;1zw zf—(Tthk^1ر&T<~vF\/iXX , 6t,<@4wYTc\i#fu:cPAsevId(Ghݹ x/TF gҥt4b1( <%My6Ĉҝ zg cN݊jDE(uZ XAJ`"C^nWRϰKPso $tçbAMPerюgA"'y)}(DysUIqFrrh]\5?x%J|՟[8EywYx6걖2za~"w>;NhJ[ w?&]f$#M]@Oia.R%G^f /WalnLk?+ 3attY4F&,Q 6 S$b/l]Oˢ[YoSS [>K6bn!p!ѩnD;J0v*(au0LwbqvA0W9;P֔"w|݆S0eJq2H|];k}2oKC-!*҇g h H䜫у0 0gB*yfNuF\/tWnCR`~4a jáb09QɑoڅkX[ DǾҾq(W?R$q,D%)FfV 'Q{?mZ?Ȫ1A/"vahuE]{ DfD}2?ئ(Kȩ)DEXʑ3|~% l)Dvgtv\B7zyc_}"&{2KTk LfCF$B=/3t E1L~btejg :7 k!TbuvdJY'c@QłMLAkN خJS4r5$.MO%{ŋ/2X>5a7}oq ޷?x/ xU ʒ 7Lc_TQ c c˗F8r/6Ut =܄o+0% Jbj-Dla]0QJq,m OE'\ƒW1YzEOXVCpb]N-N$rkܐ#֊5jz$X;F騦yFNqR۶]ٵgoQ8ɰa F'P[6> S$']h1M5 ^FFsmIDcj$纤Z}#4JR\-YRRgYZ7zXZִF! ! ]ŗXi%h!8NzM+%Y;ub2nR܀+F߭6 ~k6Ңw剱}DSUI^IhBdó!ף춬tDx0(B/ZOK&M X+`3[}4-v(oM =(6%,9nNWHKwD*,=+G늰P:1?)vBl!+{_M{"3L| 9-0u q}"M:Or 29?}xTIIJ~=E`, GPkb[XA]@fgB;7ˠ 1! {xτsKAwqw0NTt[c%O7/'/3{( j0ckie͞S]Y&dʠ3~` =HN& 4Adž%p("˜/JhJ\Mk]K5x 4=)yèZG<[=`ɞ~d[_{ğ,# ֌ݨT K=mn$N}HOJ.s@ygrK5.:}?&I;n^뿅 bԉC!-h1žJy"(Yzύz*q宧d"~;552ūi<%YS~wS[Jf棕lc3Zm2Lx; @ksl4 Mm߇{Vrf:J-&I_*2Vm.ilHo -ڂf01TC \B 4 w3 |ضѰ,C?EUidŸŘ; fU-@XŊ#;?LfwAj07Waw,T3^f yIýgM:Z6쐙5PBx3G3ʄ#n&n GӢ%Gцad K/8yKS<tӭJezÙ=,@qK=W+7qw3y]YM2/ $Ello9?e6ڷd^ yw<%2?8JE, ܢ9_.2~.õR!0z!& ؟&zs"FĪmB ]Z-{7,aGvKI߬+yoq \l\ ЇX W/2 |mf]v7v~ ~ X0_|yە"?:Icry|e-}njGEY@"Oi'f "r^ g|2%CҲ|U5h,RC[mZBZ ꧙XתE]$@(]|>ۻ)aPlC" 1‚܉t,97D$$Cɳ J[?2뚠t?M/9L3d-;U2׺۰ݝiY2dxL6`ltq{ &hQGW>g@B- CЖ R,CԈ?款$Q:vA 4zU-7hjr\qwxr^N-ޏ;B!գ݁HkO8G+L'0yNNʳFbkm~o 8}I;k:EHJQa%&Yk/~!qpBa^[&z/xa0b# f-Gn -^)\;Ii=h܊AMrk8姪V선51' M<)ILT&w[del=Or- gނ@!V"&)=׭JW*$`(ҾA`;š9<n(>Vs'+X_aw-m8BsS9S)6aolͨ@h