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 cE ||< ]I]Pre_Polynomial_Factorization:threads=2elapsed=25.744cpu=49.384gc=2.192factor=1.927zXZִF!  ]ŗXf1-/6vR[2ө=%C0A9RJ341M [판?}û?\;P?,b',b#.mo 圩L>8e?k@e_\eNR=l!ۼl 4˶F}WGJN6[7]2gF:&b7DfVc@[~ ;Z጑b5;hd0fs\%6Y<BME*ws^Dsv!nS964VW<\Dxi˭3Fz<\B5xwjnѷ_締d,n,V_=1gR X6B1gƻB~_=S Y% Œ06 ;S ٽoI@=R[,801OA;f{/;jZz#hΟ0\bEܙEB{ylXےJ;l{˙fXT3!! ͕vzAOFB:*:'W!KyL\M^ _+D;VHV=vv^Wsɗvx)y~J`5 i)dX"A<*[NgYZ7zXZִF! w]ŗXiɟˏ "B"V^W\0CIoɷgi*>@З~g AdL;a8>;d[#BƾlSBw29#RGf=[ÿF|T]X"Oo =f{ *&BH< +N$'}QP >1/@}800UMzp;a)*JMJ2FN 2Je`N\$Aʀ2R~5`_GX1xoVT8Y6ڽcddsm>亨%.ū3cV$J^49Bf w xkw9@ {:V V7gYZ7zXZִF! x]ŗXi%>g`0 FۿRek2KxX~}xQۚp@(?kDF][t{y4,Vy_XBsPa8 w:~݇ |0A_j-ufxietF*Iyae32% ;?|OQ%jae[w3daf<zs E[Cq&;3ϵ`|ET~\VW"E4; 9w͒9y5#B5^9i?efM>ڪ4-h ǣ/E+S1M zj:HMV$9lk{zg*NVd)}l.Pg]1E렭UV<%IJx|mLn$.:n:#k^KBP ~Ь 3I%?J42` -acaE[D2ח( M_=D*ix|Բ񣖝nK h<1I(l' zeq?Yfx vU%YցɘK.{5Fl׫a3$OD FCH]C:avKwq V@Xީm$b_PnGz>3_R1|lGRHQjsKdsaậğ\\/gs92)_]g{}guJbIW_/Zd^1@Ƕ<Qv+dG-C;^YU)(#IA27-Pd5bJ93aݳ5ָ:JxSXU >Gd \@0j1/GjL3B0 A7HTAV-&+'欬)oqe/MN+փIZSwIDC,:E\/UdQiUf@ N!h:=5Tڥؙ ޻ȚAE"#ع$^}~ȬK`O^#=,hh^e uȤRLGYx=4?eI;yru~dRa(0D`DˬMB3m9uV&06}y0ԋ;DLFFbD_"ũpaE\_gRHʸ};(ܿm|DPv'c_k~Vdtr0Ʋ\] CG}s|&z*`̏#RuzHa}~ŲI=̤;&˞IWo@|QT$ w-9lEjt^颭+##ڃ]7j|Te5ҿp_vߩr<Pa'>o(д\"?*ܒLb?D]IM%= jZ:O*^6f_'l 9mỴB2IձZLᲠP[AbJa &ů3Kڵ'Wj0p 7@I5%4N@8'#u yxUAz#$dBՓL̍{;0kG_g)]ZV h.2i?.s%3'&@Vgh$ޕ% 2 L!cĕ戴gOН 9±.#dAH{-]Χ|3t?~)- cfINk|:}Ua1 "*b~ n-c1AYo˒gYZfd01b527a423603672b925a8661e710709b84de197833069aaf33e80bb8bfd493abc152a39f1dded dc78b241718cbecaa21e6c3d43f6dadbec9225f3 5885f1f569201b0b462a9f3f8b1e15c36a4412b9 845705c5b6646e3b00d48128f2e977e04ddb5f47 b476814188309587a4a8c1e3c796eb5ef9129063 a015388f6b2bcd834d1c3e0c2969e0eb332589ce 29647ce3effaef82d28f650e60605e1a5e9e9588c898c64154375c9aa9dc863b3e5b1792608b0884 E Pre_Polynomial_Factorization