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 sE T| ]I]Pre_Polynomial_Factorization:threads=2elapsed=24.884cpu=47.480gc=2.124factor=1.917zXZִF! 5]ŗXf1-/6vR[2ө=%C0A9RJ341M [판?}û?\;P?,%SAa}#g"txBPQi;payQ:Is6RREӰeyi϶;hF9&TBv[D)mKy^n6_ܾɷ˧k|Ito_W٠D$ pru?"Ϻː2qc^sﴃ)UİE!n<{᳠u B)Db7-SͭN1l T[6kQxgR ] ~Ff_N>RȜ .IxKAI;^6& Ō;T4ae02M s V{+i+piH>N~MpŚzYZNzbOIm/rSx܆αjRaΈ=[9E> uDgJZćHk:\!Wt~AXEѰLOͣx)j“_ot_.Zq_C/&ZN*լ*}(gYZ7zXZִF! v]ŗXiɟˏ "B"V^W\0CIoɷgi*>@З~g A eGѲ:_XzL>(^%FB09<&Rv gPSDJ ̿9s?v#2'{{Uyv50ȿ?zwmA2{G\s4GjȟѸUVM>ujLV1"$UJUF_XJېӈG;XT6<<ϛ kg[64rlR6?C-R!)sagmŤjfGb#=T[>S:'n%Riq0_ `7 ׽܇|&b4UyzqVLޡg@3ndаy29ҡsŅɀt\y׵D{MՂY^уc]h,osicWeɇ$t΄3DL=~ja &9'Tr^a'7<.mL|r$o{SN9J"KiP3aTuGT|6/"k(x?Ffb<8jAKSӹr[nC}lۧa&QH 7,0 ǔ}:|6/&Qu\}cK!kD}L\ i6MxN/XGZ$dS^>ypVLi Ze 6y9(+8 ^Y/*Mޱv6 Fcevq_.U?7d63S}7Lݑ/! ֈnu7U~zF~})^pI+;3%=us5e0S"0=SDh*=y.6ڵyo)4 ˗Ю弽fEo2,_]#mg-n(C4B}$I|HO XDqt?gbJK[ՖLl9Klt )C?4z7 'Vm0EJܐcKG`{SՅ*|'R;k}f8Q< MM[e)#qYf5(SH>l UQYi64}a0,&2 N )gmK.b',z?\j`9Wl`Kqcr¢td:!f@yphFp G婔,l[@wk~1;%*RRGR؆%`$lTO+ !w2#nlв, w5ܘ01-g@Nq8<)ֻdg'ީ[oI]-h͜B}߿@mH~OJxPۃuzH_E"#\31CϪn܋v eeHn=Ͷ)0v9Fl1P:!drr|9sIЭ-ڞ,\XYp?+}. xC "4h@N1>&l{y"fIbLEtI~Ҷi\\gH1<*nUԟ  ̜zgYZ8ad9bdca3d05878f08dcb8f69e8434344d641a13a70f3b1dab78f27422c2c199c67ce3165c51f78c b7ea345064e6ade7544c71fbd991740359381db8 12bd5101ca4134610fd46efb8adc7e49567300ff 0c0002d06a43d865ea35d288a2517f41fd0b0c63 e526feb7bc7fa8a4ddccb1c996dcf7cbf8558af0 51abeb4dbd3b86d04a030fa0677f03951fca54ec ca47bca6bcf04c6745db803e48fb87bd71fcffdc8ecfdb2e2e7fff99d28963d90b0cecc799bc3ae9 E Pre_Polynomial_Factorization