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  = , ! Polynomial_Factorization:threads=2elapsed=45.430cpu=70.044gc=1.900factor=1.547zXZִF! #{]ŗXf1-/6vR[2ө=%Bl=E^X:ݯ.xmM1ftTd^&T6?pCo^K6pBoD2anݾvD׺K% yHW20D=49eĪ{'H¹#T(pi-%H.0;.UpZp\#'NZ\n&3x9'GyQO╨cH~:Pd3;vex/5. X;%jr+#]R 8.KAl͐;ˁR`Y[& l[w.8H~3+W#_fON(70e`$΀lj.9$/ 2X'#bFC&^+t = Polynomial_FactorizationE]W4(-ͩsjM3]e[Ƈ9_8u:ԧ%N6oCS)pF% 8(U6X8^iMOZy]ĄD'.͎@j߭ek~x[/ Z33lޙ6Q`?D+ɳ*.,|RXo6>.~_zdL ILóO=BRgUQ &UnM>eip,9e_Rf%&edL~9Vt*xy&F gYZ7zXZִF! T ]ŗXi%6{B;Z{I uOiy +w|rO(ݸN;<>s)C AGe..PJfݬDtsyJmHm0U 6"kB<{*gA.[z&mA봯6p-/JBa%IYg V6i2$uoAF|CglsV=PHP= KO~hlȏ6rqV9ZXtU}dr%8VS=oH#0Dܠ)ҎCmg tiV*ihbB6wSn^)1 FO' q̢[Y"+X8?a w?l>.=oʴwJ yut3Tmb}qبD}0Nc[!p2ڗ:C H2bMJ1 l W`{y|Lf܅MOC%=wKVLW[M| {vbOw^^r(>fOMImvAۢn-EqPl=dYv̰l܍WtsOJQ6YT;n>=I*qYt*!6U:1 [{q耙ڗ.aENۈ7din1BPS}07k}p͕?>;K]j9빲RCPl3{/q6%f(岹A{=HCD UIH^݃|[/f=CkI017u]ҋ i^PZb*VLT-C W`l>X%0z R+ zG]۞(* :w䉎 ԑx7d[MEs9ae2TEi+2KMns\OvU,P[/L-{J`t?si ]~77u̴KX(+V0wfIzK拏W gS6Y/,1UhPd,T) @u TlohW#!Caiߞ~~D8_. ix9ך,AIT]IyAgdyؗ[:8LQډ}K" i \\ M׼:)c|'TI]Hoo߭E6Fy1CWּ&wx/ﳱPty!>]M:ZT iCvᮒ~R~RA_ү;ϱuM8V-苶yt-yR:Uvr>yPY]#NXkt_ [\R@!Μ>B %)Εpn£$2&|붬>v: u_2rm&r-[tWN"GI 04̬A9p[5nP ,jc0WŎc^l6ָG4|0DN6xsR:q:hoCgĭ nvL2/lDa^Ǜmh?-YG|?gʪR