SQLite format 3@ . BBh77otableisabelle_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 | ]I]Pre_Polynomial_Factorization:threads=2elapsed=24.051cpu=46.600gc=1.988factor=1.947zXZִF! ]ŗXf1-/6vR[2ө=%C0A9RJ341M [판?}û?\;P?,HN^s+%`鿢2)c8z0QH\m46hTȅ"o]ot{fC1j^/?t;"|΃OUجʨFslg7U][7Nr|O}#a:4D 1"XRHQ\T#?=^va lɯZ=[ p,@.=a O%pm;l]U z|qA⁾6OKv i {"5-x"Z/\=̡j5xKӞ Tb:*!<-`~^/+#m ~ ӕ33{k&S? hr`n5q ᐫ{~UNpLOnn$Wn%;MgYZ7zXZִF! z]ŗXiɟˏ "B"V^W\0CIoɷgi*>@З~g A kƘTuUAk~`ypm15V rЁ}8!ɡ+I$04]R!H#K,(C3"Ւ3RYW-&?^3d?.E͂KO`W24k)Xϼ-|&x(V*C&Fp4IhUr 8@-)ztZd\2uCbw h-Sz^" l4h E)8#-O]JėRL]CmuͤRju{.,QE"K"Ø ئ0Y~Wp @O& /qe01&rcÒb eAgYZ7zXZִF! n6]ŗXi%92v73|K>8CZ tVXu}}4tRG7sP Ii84'uj!m *aav5W=#cc9]wCp %Ň B{j_Vn<9=˰v *IvHa'º.1y3h#'ClaOYs>|lcw}g!Nԭ/2aMfg"p3Ty4\fu7`Զn^*(!kSspjG KD.ܫaz}j Qg[H#j0k-~[IW 7j:vKF4XD ttoJ6PGeGFOE&uNEl-8.m12ji e4\hUo c!4XV1Ag.ۙ2]6%u?>Q-\$ڜO.eX](˓%c{1djL{}H}[C|x'.aPhsw-h)q=Z |F#$xP"PD;I'Xq~uj zj/{ۏHڲ`z< KXL0H&FasBjso)B5B]WXJZm xۻnXS/Q2Sr+߳4Hc-O-KV|`?]f|U[:)vq /׼j)R3[jR+B=  +2x~m5x^I\KES8tVIܕۋ#oJM!*+f&BE_ S2w1Zjע?HDZ_26zl;)eH׉p*E~b>"3he٨kW2N8_y+cWV[ӊB?Gj(\#oo<7&gU1"Cf?av)!PߓG-W`Zz=M~ mĒAoi{)m"Xr{Rť/8S[KoO؇5~nq#  45fUDa'+eg{9 z: SF D9NDzF2ډ֎BW8=eRmTBrHS߬m$6\dmde" |FW+[CXl-`Z&)a49<x?.+F돹c f ("Ҽr-}Mz`:d5w;=M+<8uaBW eEgYZd707392269de6c57a610e7baaaabaeeec024c2130dc0541b39a07c11e5774461d9bd9c4bf977ffc8 70801ef29d848aa8eb383514e684c8076c0da75a 607b584e29337f48da7c2b7111a6e1bd83507c61 26fda83fb54b04a8509464a2469873c45a8ea65c 6d50128481724861da7ef72bd088fc73f1b1a18a a4074ac49d0786b000e9df2d37c2151a5ce3300c 293ee307aa7598c6dea3a20f429a1b3b2df23baf986a3d4732ca9de1419d393e6fb5c8f608d2da62 E Pre_Polynomial_Factorization