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 cE , | ]I]Pre_Polynomial_Factorization:threads=2elapsed=24.885cpu=47.736gc=1.992factor=1.927zXZִF! ]ŗXf1-/6vR[2ө=%C0A9RJ341M [판?}û?\;P?,HNbL,V",j:)cF玙XN.$;CAjy_hS&35Exn0AGe9GD1hx׻FLب[ӕ[4*@r%q ma7KjΌ^5!%vESY~ϝdC@oU8q9s5sQM׀3Jk, I#f 7u/ǴܷPYO8`Gz`%% ٷI+-ֹG]fii|}-+OZ=`ϔc-U1%,oR{$ɿo_] W@H)̊۠~z"NPKSE"#S!ZOUc7 ou+/;=CSaiy* \/{zŹ1ٖHy?{N8;Dh\]GƧ/ n$ ƜȕCQ{|}JvO)ɂC (JGSF1UYYGp%+gYZ7zXZִF! ~]ŗXiɟˏ "B"V^W\0CIoɷgi*>@З~g A} kƛn# *!{.0?ddVdy3)0z䱗-ϛ{}S4£bʄG^*k5&GS elWl׳" LK\IV_^m=N(YLmT<f6D").ZūqJԥeE>qq"YۻCcvfJlLW- h:23$N9\)6Vy^u <4>֪=o]!s'3' !Wg S:\=AsohCDŽ,jd_9{ f6gYZ7zXZִF! sw]ŗXi%90ø ϥN?xW)F"v2&uYEnjcp4z#c c2SHr9Lod7*mY7 IMj M"ԳW8zѭx=7ߓBw_޿Su$* z,KV&+?l[0o?V N"H;ꁾu9iv#O7-dž#)J-lb[eɶCܣ[z Sf"e"Ɬ R[aI +N|BPJv֊։Ŀi Оv2ÓBY_I(I'G-s&ϠM'-o lΩ$,cBNv;﬑uG|f8igUcD$O^ 1:MBTr]4ZɃ~a8 Mcĺ)/@S'۳ئ: Ņ:yEZԠ~?/(UsU4l;7-sp\ɲivT^GtW.N`EwWwͬu6xaj,⎑{k }(S~"L[HV^!Q X" 5VK?A IiI~bA.2+ $m(xLBjШ`^B#Y; =fp8{b#Cf@-d|wk՘حSfçֲǭÏF,(ЖhX6}9K{ mGNC @)=ձ&MisՂLzզ.H$iq.8y+;ʼnySs.{C4`w86 HͧG@=j7l#)x3d̝6 RqғL[2ЄtnfCӰ^b P57@Xi{u|?`u m|ߵc)^ZWV]`<;F w*>D=*-łٕT?VHkN0"ϙ5{UO*)]+}+diG[;"gU7*/U"U9W3q)s|*i̩ 5gYZ03560fd0f3aaa9ea4c8d4314ba4e476add10bfb1ee3210dd24a02fc2532bf9b24d649a5c6880067f 50500894c9f08017630fd27f91d8231f2cc9f198 9dcadd0ee8dd62844cfd6ce52dab61c71fcfc0fa 3b04ca43da1e5aaaf875b679703967747f534b02 2524fef4370ef159469778d2ae89dd9eac2a6b82 be2aa6c3c141da35bb6baa2acf32d3b24f15d156 6eacbfa9a28c0d5e9c1735df38a0e6fecff05413a32578013c96099dc04d5237214e239739506ae9 E Pre_Polynomial_Factorization