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 bbE L L ]I]Pre_Polynomial_Factorization:threads=2elapsed=26.244cpu=50.428gc=2.312factor=1.927zXZִF! y]ŗXf1-/6vR[2ө=%C0A9RJ341M [판?}û?\;P?,r^',b2S%qf'JRmߦ|IW-(VK rrb,Jw#eowXTS$c8D`ߗA2e2|nsw@8ah^˲H,7@'=p^#$ c BaH*AtUPh~<v s,p]L[–m؜reA&R:GI2Sx:30gaFl c@#EH6MPzux+K7DJ-v௠>ua7/y#%HO2^O*/+?EKɎY-zF{U{MDo2ض:]!Ͳ0I>3TrϋÍ0nySmmr s6q L8Ip8H x:e U@ҀknwX ls(X͍|-x 1C.dx^Ѐv+LCZ* @$+4d9 A 3']*ou,U)eɅ)r%,0lgYZ7zXZִF! ~]ŗXiɟˏ "B"V^W\0CIoɷgi*>@З~g AMxreGѲ: PUH&>ñi\k|Ǧ|d^<6Dxy+DIKU 3 lSmq~ r).̑NZP:w|jRYԧ < B~[T +])A勽[xPum>OzF=!12"WFzYDpyB`fafp)DW0iPMeY͂9(ưY𐎟2׭Oh^kt,&5/wD /8+2`?FkM%d U ;xo-`z|]vE!=qaeq]|DjB7RPV'4dB$B^ZaWM Saxz6A GMu THE"k0֖4D1r H^89Lxs$pyלg"8[(wuQ˚Kokfޞ{"rO)vvm`1L~=3Ue}P6;?`Oc*M W#խGOK jm#2qQ`ɝ>2#A#՛gU6~2P`s_qK)ha81G_b^HOg dgG0,m=H(?ۃnQ U\#k" e793J̍_G³ ڒPH>MzqĐRZg\E7RTG ٖ6Eg&OztPJ3]FLN75 om"%{l8i|/yEO.v [vf {vHp5<`u(PmUT(f)sa"&eK+g\,)5>}i|t:)AYWv/EވREpI>{P L !,S.aA7&@)?!) FnB ܱ}*zD0[$՘P$Rh!0T$EWO2%yBaYA s< O* W)1NHA6ƊJ ћGc+ˢa_ن3(;q<;o?8ۍHmdIY'μ-w8Ql\E/j(H|!x57iˀK T^v5L)N">n0)2hUJ\ e5pӸ _oT]m ]*EwUo+SԊBNʶPV"ߛ7l Wgġϯ.qYxkb')rJ2YY;PL E۠ rgYZ3f96ffc6ce78c19b18c5b069a3cb5adc53225337620eadff725bc3b05da1385b39718d4bda69cb83 d38c17f13a61f3f3f61d0943e214e1b4c397de15 b289b2d35e21bab3230d78ec88be7bd1d162c47f 3347854b84efe13904c04d83cf7d9253205341e3 1c10e1212e56321c8118b8ff73b6c90591dc1d00 7364fc62f33fe6d79b12a6f17d0b8e8d13f2f404 f571ef3191846117b64ae05b855e46a57ff19fd3f7cdb791d603e55b22e558593f74dc1f3edb25ad E Pre_Polynomial_Factorization