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 ..OE  ]I]Pre_Polynomial_Factorization:threads=2elapsed=24.062cpu=46.348gc=2.016factor=1.937zXZִF! z]ŗXf1-/6vR[2ө=%C0A9RJ341M [판?}û?\;P?,8p]}[k{?-.G_$p2F4f۞x`Y9gxUe}d4jWԊі['Rނa6s).6[/Au\XR-J]|eW`mM'MGޡKsV Vdd VЛ PߍrtLde5y/""Ͽa2DL8/>m_]+/ Vq9SQ a~{u6t8၁j#1w>JT޷~KE~2ZS3[+HYٓeY:16!re#%<|Ŝo:][blSp}R 5nlqKHNf7 Jp/"ٞ{CT(oqUt\J58`}n_;CM4,JuyNTpHutM|+eE] EL B%<pBUlGV,lp iB:V؟*L;Q%gYZ7zXZִF! y]ŗXiɟˏ "B"V^W\0CIoɷgi*>@З~g AX\tPNef# em)YZ@a!)ʜ#忐Jb=bg1ފ A\x{ʟ}`B>kq!Ѣn 549[sr)*z hJޚ%pǮ[`ڟln>&&BS+j\ARS|\ɩ7=i6D>mM"F)g^O+b;b 7!Pܑ?&쌋߆UX`6>ƅSDӥfٗ9F@us8wZ])S M KDZgYZ7zXZִF! n<]ŗXi%92.`8ZQ{pT&Gi' T5Wi_kYv#iAkPP<:@\3rZ,(Ej*ك;e",?v*JZlJt@+ (kD450)gh5dM2d򮌣4_)Z{k '4Pjc~^o&9O. 4e)z ʛ]FD/ =xpn6e``9p &- QH{ .۞D-2BR#J/Bp&(Xv:, pggyFgTď.ʺ27 7n5;R_DMfCG<&$;~Գ/u*V|c{Cb %r D7ʌ{~Δ͑ƒ?;5XMԘ`j̈2i;ʮtf_ib϶` ڌ޷j7Q'(Pn{N=Q+zhx1" _oZ=|aڅ7h\ zn>?B\q$0/ `bWC/ُMimIAe,BXNRw1Q#brc|w? ;Ef0CMGõړElӟ@mv=hŘ;C"` Yѐ v/Ks+J /jbWDTPMeY(-H|Q< ,z8dd[Y?}ځrm=J[#my%tVIRKlEGהse6j1iS/D6b!A <[c(H_M9 -JYݤ$"Q& mU]|zqTw7Vώ|QfexԗVAb%)b7xǏ1 ׉WHN^5湹x^Nt۟=Z8M@{‰::H4uwԟUԳS4Ƅez$)"LIQD4f)G.lY tnS?6O$dD;DFul^vH<5ʗU~+zgl8\ôfP  =uU%}|VvmqĴTEl̰ ;dl<@X&5K&3K~,)AB;nN@,){6Nm;fԒ"?aiL{RBQ'6|d qP[[K#;vT%r1[E.I|#'kz+nH d}7EsԅV81E; .*"H~2( Z.1L &3gYZb2e583e196d08e6630be1ddb1ea8323ef894520cfa7050467ef8f63fd56cd5cc004bca4176bf5785 29f89a8c8c3de749e3d8f52dbed7d75c52623d3a 7b4e4ad0c078ab206c2a55cfc8d7c15e75b86740 70f4b946e63625a4e15d03cb5d11a4e6c8108b42 44b0cfc5db7f19bdb69739da20a64401a5e77014 8491750690a8d11e9e3b02951edf53ea46b1b345 da130666eeb4c61a1fa18c0c29d6d9f0db422dbd1a50481a86454a4f14df0535d562cfbf38ef1853 E Pre_Polynomial_Factorization