SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 oE 4 ]I]Pre_Polynomial_Factorization:threads=2elapsed=26.532cpu=48.176gc=2.196factor=1.827zXZִF! V]ŗXf1-/6vR[2ө=%C0A9RJ341M [판?}û?\;P?,;Gw`xH$} ~.X֜sPѮн7 eͶnYˏ(DOYgEȰ[ NSkɋLx݄MmW*WAĜML:S2a&#uJ{[('K4נ˂}k}N^{o7e`8N\l;āQW<.DM;ĕ=a;b߹'!|>'n2mCS6Pw<6@avhbmUdjջHS8}5Y{b>e®:ʙ܇$&7~pƓt 2 8J/j#!Ã1Is]"lh>:Ƙ{ \ǢkYJ e9aqޘB_ݟ? 鄝p:S[-d Z^>gPe"p=MtټrmF_VhP2|}2ւʱgYZ7zXZִF! ~]ŗXiɟˏ "B"V^W\0CIoɷgi*>@З~g A /C,_c$j$>D<]0q54u)5@xMwlC0j_ԔIopY3@]iNz U@Q5֖I\LzGc:ƂkX8.V0}=7sT|;y6_>,b+ڈQ:lpLcoؾ) n,s1nqPzRu58wUp5>Dk,Q4FB/j3YΈToU䯉ܙ'[ŧz]7p?gG}i- f6gYZ7zXZִF! {5?]ŗXi%>gcu V_\ҖFƺn䓭|s}xM52u"}>%/7):! #w安~4X5p ~&ut.j{\B ? =\x lGEpI%A(tɓ6]тOR$yXuE?M\0 NrÂa2ԟ,v! w:û1va ! '|T|;=6=#ߴOREey @ S2\ krYDG2 4{'J8Ծ@d+ sX2ʰ#4xӸgH+.f< m鋾8oFEvHsI nڿq;}D9y@ CK΄{zO*E/!Pi,m Wnp˯t8 U0!2-*ʇ9R6ET*/g:;k!_4K8 ij Ri'չMUl͸=mǪ1)/T a86~+d H9d]Y8&꿷8 ,6܅K]jj#fC/Ƃ|k'KD ̥OR(&YtWB57@nq@| }[´2:njlKsf rjR 4Qb@95teMԒS Թ2C*@(sT(TzVL忥leK?[)1˗DcM5TblO/tҲ\kJm@ ]2{M4ȉkO$_T/S}P3s8~7f {|&9&pR F'4_kuԨ\qVP;BOg-]gBk-_1zʍ 8CH(h5ĺ6N.p5Ax &9vfy5הgYZ8ad9bdca3d05878f08dcb8f69e8434344d641a13665af98eb5b604629a3a80f1bd6c88145ac43a21 27625c6a71bbe28fc0d93a17cd760af834a4e6e7 ef4af5ed7faa41a9d8d5237b72eeab989fb81c0b 5d78552cb887983b70c3b7983c4c3bdb3374a7e6 9fd8f913010b5a1187b1f9769926bd0952d3ed14 64da85678757d4424d48fb7e9250609785358e2d 8d7ef531112158e1ad90f0ae2297694feeb87b2a573046980ecc685dfe4d4f038017d4f2045acc9d E Pre_Polynomial_Factorization