SQLite format 3@ .  YYQ77Atableisabelle_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, "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 ~~E ,D OI]Pre_Polynomial_Factorization:threads=2elapsed=28.338cpu=55.588gc=2.428factor=1.967zXZִF! O]ŗXf1-/6vR[2ө=%C0A9RJ33bZ݉hBi1 ;C ^5QϨ$LLh(H?!5Z}/-JN$QJGF^ȝ`(QlQ2khNJ; +WHcq:p|g.f VYI6oN~?1>1^i~ G긹 iEչcNbxƖκ|J"8=0!Vn byQ)ٳM9Uy0ԕYͯfGaKPd`MoFP_hR2-1ɵa8Ҿ r^is@JCV%8& R BV^0Ki&WшS 8 F0ٟ^ȩg|Z@e*9eH@| [7S퀱1Fن@"LmHaoyqXoh8|fCC#ͺl3A5|lal/'۽tQxWn1*Ib 6 emukI˙"d)2X.]'Ҏϖ77 gYZ7zXZִF! ]ŗXi%6wFmbLЬQʋ`0c%TXhUGr@%Lv7*',H\. Py<ی9u9E)V}FE ?wP{Vf<ـ_u9ZfV4;HMn lΑ ԡ&kSxr|*5t"@L 5^[LU w&K3m˾PGy0-W 0t=L=IН>hd`8D 2w?!2AL#b_hEunvxƓMxzq |Jx{hJ/|/I? 2'2?-b႑pz`cFh۰f%%MK*kGD@Gsz0Ӑ,zh upg̠YNQ3"`:p'__HSZ L07($*Jc_:x0׵g4hs :jM2'@T%{.Pc#Vv)> Մ3TfRv h7_'lk=!N";>όvW3[D^P͠Ī,kjzsKvG?R4·{ښlwD{0GV  ]p4k(,,m Zq8`^v)\Qxb*%24鱠\Xy&نGsG+XcUNs'Vl<.˜GKDh#$MFKMkH>;Cpўh9EpD .*R5-VֶGs-Ux*}X\HZqh?4 O}]}=S4UNߴ&أ`eci0xNVY*z_y/gYZ032879ffe48e4f8a576cf73031ef5b1efc48909b 04838ebc096a0f58c270cb43e5687be4afad0744 0e92bfb40c58ec80ac022b0282cf2ed21656ca51 12ec7cff11983f7c7a7fbe6a056e7906b10e0c47 1a1436f28f19da44f56dd3fdc6afa1e3786effa2 2c3e480de7d0907848a1519cdd85a3213e0d892e 30bb572f70dbc9e84164316c4e3bbe24d4073853 5c40fa8259059f4cdea292a4f13c6d2ebd3ee91d 5c57cb94f124fde23cc428d02c89099265ca2aea 5c5e1236472315944402fb10792f7bcf14f7e7d8 9eed8fc1f6c54686843ffb969de40b88bede13a3 9f9c809496c43e458557929e05501a0e473845af b4e13b84e26f1a05f72f4ab06b2e7ba7e1534362 be3f57299b27044d9a95701a925c40d17b38a3d9 c3cabaf82e20c20da85a471147e0d20f75fa4074 cbdd9fc6d6570e1d4cdb5f290d2b154598908d6c dd60e39f2dd4a5069421c64b7763cd217c446055 f780278c8a1756fb26df956df4a9f2f0ae41282e554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 2b469e38ab065480632e9b5b8f44c208e16cab8a a52cca36c501e454ac8d14ffec7d171d1797787a 93abc91c039f52f86271cad82c5783c5cc5df1d2 fa34367f2b58170d59734929198117cd5cb0a339 9a6d2d5f4440a9bdb100269815556e786b616e406dbcb1734f23269db2cf50c0950e23bd31886f4b E Pre_Polynomial_Factorization