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 22KE <D ]I]Pre_Polynomial_Factorization:threads=2elapsed=26.338cpu=50.856gc=1.952factor=1.937zXZִF! ]ŗXf1-/6vR[2ө=%C0A9RJ341M [판?}û?\;P?,GA듢Pq^@.Q3^PPaMj3$I%cݰ6vwO5?sdJ9)ղ9{1H. ""Bl4g1yI>4`a`Mbc}wRم*]zIy4eǴF~v''B}('nf3'E\V,MAa^9(q, oɚjKhۛPJdE@З~g A;?)A{,Ծ\rv?&|oW_j*IE8<3uc+_gw{!|ϳT !޽&L^2OUQEQc62ϟG㧉_wE[+[ #nqj=ZkYT?PVȰ>q?8S癣׵1Cj_ Pvv*B6q|"oł0QSDL7ɥ<h"6u|helFxq@[gYR>;Dس\"CE`̹{A̚ AֽrUJ.>eMYW% KgV eAgYZ7zXZִF! x+]ŗXi%Wm1!8/sy$UO\Nha_yXGr'ŅNaøKUU}%SP\D+SOtU"`]7t_$lVԣF-1GRI 7IZ pxn#301+c:EJ)ywPWb.t{$qsM~ٵ:!l.ϡ|.vVEe}x \ Zp9c^+x`OhMf7>~8<x4$y;inJyPc4D4yNk)ޅ&yauk k B(9תDҩ Y%!6Ȏ^"roki4fn @rFsZڬWqsn6hTٟa&Ƒ/XQQ@h+Y$FC @V)sC<̏Q/Q`KƁ$l(rU^' A@*|. }edXި% Us4522-b`iWDЛʆ#ЁV _Ux; |ɅT[H{>Ӓ^ ^\yK֑Qu?cAu NLJ,>HoaVUKg®Z[\(+'}0#. q5*&I<=/"}U⽷G~2 \]1Q E2 Gqz)U DlSgYZd3be437058e2e1fc5551beb3982cbd8000e126efd6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e a6afcc2426fd6b701d456a4f4e00addedffa6cfb e59e10f7190a9f7f068dcb0d18ba1ed1273e2ff1 336b34cd73778a5b2e25bf85d859347dbbb45f4e b895f77b2f40a74e5f805578655881003f26e2b1 961cc7144d5b52335f21f27a654dfe10d5a6da9f92be29e0b9089595c67dfbf51a893d95f62fc1af E Pre_Polynomial_Factorization