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 ^^E lD OI]Pre_Polynomial_Factorization:threads=2elapsed=29.402cpu=54.556gc=2.112factor=1.867zXZִF! -]ŗXf1-/6vR[2ө=%C0A9RJ33bZ݉hBi1 ;C ^5QϨ$LLh(H?$P\9g-;;]]vp0F\ldf0Lit:⒀g%Iv-uTY"p)4w+T{٢.jz]\Y}⬎rgWa`_wWrv|??΀ x\%8huz ?HT~j1@XtI:RWEk&俇ѷcCA AV#{vjItX@v 6M--gn2fƨ+b#y {Ik`~N(tu hO`x+A9ݠ<,Ni dDp ;)nyr`ZG ,(oW5>h I9L] o2mPZ&n%}ڥ+}1.ǯǫMR N Њ0ωC ?Lae޹B;d[0tʣ+I9 ]`EBu4$QNDK dUomT˩mRUD\( 8lB:\ T E`P"-6|ni1֥-T5<R|B@ۦ^5}\|n8x]PҬY3*/OLXKz߁)I4T4DңQv!\5G|gYZ7zXZִF! []ŗXi%3eˍcAd=> @3z7 lBs]#aoBnRM9X=Xw&k=l AVdv 絝{J3ۖ>"z3#tHu:;j6 5j–0qɢΕl>RE6!cݕ8>{X4|7QͶU!t3 gXbD\UBĿO:;C6r99XrcU%-B^bT\mԡ,Ϫ69!S*!uu?!@JQ2؇!ǖċ&RIj:OotMʭ!d1 ?&zwޔy@1#*OWnYFT/FZkQ+}N'HlE}U 6:_ tsꔸS\t4k!)ᦪQ`ŭNCJj4`ar35A\ oE"ױL-G\s":B.`wpzV}AWxo$+iO4?nAxdyDa_:S:1G(zyטP$ q|yI56i'r*ITy c5}ΟqB z݊ĄԒξcĭ*ȯՋ{^ lu򪉈=t `ZQrqv,7*5]Xe0Sv)6nG"hi[ZrVؘ.;ޗSIX:NC8#͝2GV{Zszb<Z]njX4 7-} O6 َg~'geUs7ްl&}=6]% jLR?YwL-) gQDӰ`" as\p]YHBt;gy t)iC{gvbMgYZ0e92bfb40c58ec80ac022b0282cf2ed21656ca51 12ec7cff11983f7c7a7fbe6a056e7906b10e0c47 1a1436f28f19da44f56dd3fdc6afa1e3786effa2 30bb572f70dbc9e84164316c4e3bbe24d4073853 5c40fa8259059f4cdea292a4f13c6d2ebd3ee91d 5c57cb94f124fde23cc428d02c89099265ca2aea 5c5e1236472315944402fb10792f7bcf14f7e7d8 754868a97fb8ecb4bd5624245676b23ddd584c4a 92a988078c37603d1a6c9e46f0f5d1d67d222e1f 98f8b5628ffebda798f975de4a2ea618c5f350f3 9eed8fc1f6c54686843ffb969de40b88bede13a3 9f9c809496c43e458557929e05501a0e473845af b4e13b84e26f1a05f72f4ab06b2e7ba7e1534362 be3f57299b27044d9a95701a925c40d17b38a3d9 cbdd9fc6d6570e1d4cdb5f290d2b154598908d6c dd60e39f2dd4a5069421c64b7763cd217c446055 f58d9421c3633188ce29b01448ae8179d8568052 f780278c8a1756fb26df956df4a9f2f0ae41282e728eda92c596448850baeaf541586ad0cbd7b32f f43caa9e5e417d16de9ac31da220529d0a28b7a7 c0de3a72380c3ab1b14c971396752f50c590bc0d 04a809032088b666714457672077332531c4075e fd525ace5d6c3f4379a77edcc47116d403538dca 49eaff697af85ac5260c32f8c296021867391a04 36356dd5894b452887b3f17922be41069985a8c3808a99bf4f128bc4a39320d0694e704d2cc8fb80 E Pre_Polynomial_Factorization