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 NN/E D OI]Pre_Polynomial_Factorization:threads=2elapsed=29.913cpu=57.980gc=2.324factor=1.947zXZִF! \]ŗXf1-/6vR[2ө=%C0A9RJ33bZ݉hBi1 ;C ^5QϨ$LLh(H?!5Z}/-JN$QJGF^ȝ^4 p}}te 7Vm/~xu'!Iㅭ`Kڸk?lyE(& s;I0[B( ;RqvoW]ncV cpdh]x]o= ȹQBZrTɠ}#d_TrF+2v 3pgSx5 Y+6 ^Gohlt2|K}_zS0Or4p ?{KnD &B˛ ũc{ '&Kچz1k cx. :p 7n̷~b<jEm:Wp3\hA2\`4f m#_H'jWw/dh:r_aWs i''՘B L$51ך6b0 | (DTCX][x }^UHr潃*  †&"M :F/^׻w) W&*Im ڰg?X:;c@/F;ܞ`2z%o-ٸy8AV tT`ʰ4|Tmt=)Y@C  Qpʍ?W#ͻ(f5 Z1cJ= !l<\j܁mG~ x۱v Aԝt="Ї+3L7XngYZ7zXZִF! @]ŗXi%*FXdL3[J;l&+gz27xK9e+MAu `E4ݫ9)ڵP$;(_/i$DZ'IEJobBfcR ɪ=G_j-a0(,ȓi9븇Q0r g L^S2(±["QjWLzn&2e#1rBڒ KѽYၟ{np n/T;&E}^´1~dx(V7™]_$%ْu.~Z%>aus5m\J@]ҥF {Q'}./wѽVS0o8v,"sqXT֪6L^V$hĦrr?ړ71'=Y6R/?b)ee\mS :9JL6䋷րȰA-mZT:>xL7*;f@X,dL,5a ֬t90rS(A ht@8UQ-A{_یZ(Gk- La9QDŽOtJ}vE/wRG#, 9q(bOɗ.m+2H"3wl|,Q;`q*;VOE/ѣ#?-Fu梨f S!uT+@c5]MuXJP<ß(HՈ3A!6jhJHUe5<_z }1g1:];;x^$-HYS3Wic빼Gy9X v6cP?U-qX)C̣(E9HD3ZÛ6Z^5z `[Xwq{'J!KMŚŅf0!"q n9kΈM휑G0zl9*| &=W0sEV~~*dzS04xM&($] ; x k6Cڟ#Uv\=/ZRbR. .KxՕ}_wx2spxp/Y9gߴSU-=C._/u/EQI$z@MkG4:z];6+~hloaP&ahG+ysf=#N5}| cܼ^̵`r͍#_u6kc#9zQ`wYZd|ۜ`ni%^ॡ<{[|8 מ[ÿ~2+zbWWo e˝dd u֦}W]T1" 6&3 ̵_k _;`Ow@ޜDpw.2wru{`L h7jǬ 4w4&;CITCU?(jKw3rFC}zQQXlRJ)^,%iA5 Bhg#;%W~̮@+mB~NCߌQs-\!cig\_nv~5GL۩l{W3 G^"PgYZ0e92bfb40c58ec80ac022b0282cf2ed21656ca51 12ec7cff11983f7c7a7fbe6a056e7906b10e0c47 1a1436f28f19da44f56dd3fdc6afa1e3786effa2 30bb572f70dbc9e84164316c4e3bbe24d4073853 5c40fa8259059f4cdea292a4f13c6d2ebd3ee91d 5c57cb94f124fde23cc428d02c89099265ca2aea 5c5e1236472315944402fb10792f7bcf14f7e7d8 754868a97fb8ecb4bd5624245676b23ddd584c4a 92a988078c37603d1a6c9e46f0f5d1d67d222e1f 98f8b5628ffebda798f975de4a2ea618c5f350f3 9eed8fc1f6c54686843ffb969de40b88bede13a3 9f9c809496c43e458557929e05501a0e473845af b4e13b84e26f1a05f72f4ab06b2e7ba7e1534362 be3f57299b27044d9a95701a925c40d17b38a3d9 cbdd9fc6d6570e1d4cdb5f290d2b154598908d6c dd60e39f2dd4a5069421c64b7763cd217c446055 f58d9421c3633188ce29b01448ae8179d8568052 f780278c8a1756fb26df956df4a9f2f0ae41282e735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa 182507163e45bbf725735e35871a5ba3be6c75e3 c792037e3d0f7486f079b5d2eeeeb761cbe56f95 0051ea09776582b9410b18e4da0feb402522d186 6e328d578e457acf2dd63c4257c2eef6bc6e8798 1dd730c738b19ba45224824a62d018e9ed3eadc143ca8a25acdb6bf1dbe31ef2e73344e1bfdf819f E Pre_Polynomial_Factorization