SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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  t= Tl ] Polynomial_Factorization:threads=2elapsed=54.800cpu=91.284gc=3.284factor=1.677zXZִF! .Qd]ŗXf1-/6vR[2ө=%Bl=E^X:ݯ.xmM1ftTd^&T6?pCo^K6pBoDXu ;]*!Bs)Dl)g.Vy/+z3m pPR(u~c82i|փJ;OANT$@|p*&^lM=zWwf):[gLuRIr?U@jbKf%ٖxv2 !qH%s:aɇ#fx I>Ra<k&gƚ6!iRTkN;{^NsZU\d F : y!GJl8:紅aRgLԔ|%f2ɜWg Fɨy2E,6וdܙW"f~KqXmJj?)|X^k@CZ>*PInqX!JLŠXSd)wW )Q4_('# 470`?7ps/a nF‡hIi[D()+fd`ˏAӐ^y,? Bp&J>1H'|ϯvܖzvirMLmO.D&SR2gN@h=~J)!aln3s~DO]Y\xke)-dM,{{lȯvμ: &W^_u,Ԥ(HEgQwֺ)DdHC5Ÿ3u!ުפ艌  [Xc ifsAx5F^)ri RGVqM^; LZ:gEĹ[*E쭐fs 0 p \\P*Iw7c+ 0 @363\xfp!l"uy/_$O8PBwLެl &l] 0 \9gYZ7zXZִF! ]ŗXiɟˏ "B"V[9*⍱|N7)[sl$M`(ݕuh {)]* = Polynomial_Factorization  s{f9<Ԗ}@r0h}h#8Rj7f5҂)*X4!`04oqq.hkniӉx]v380غS=GCaP`E<>( e/F\wz9L }.gVaU$>cb=$S kc k_G|G\eL(^&ɚ%*&#lUhup-vzո.@I@'V7` )O2e+jvM ZŏI@۫)V*I%ht D]gYZ7zXZִF! K ]ŗXi%;CmtݧחDe]C=5o촋K*uC/ҷbg#f'iTqA Ui \؈fB(M)[lLzƠ\\B;9ӈ/M!a^bW(]Z9| g`l R0"&0-B>>DvSsh݌X?V !iyW)P`<贱& °Hl #,e4U%T}l[L}K\Iâ %=?R]^r88H5%PdP^#w} @Jte- (1EkZPȰz,Rqۭw Mrg L3m-yJ(IlYw`sgTUMЁㅟ%c&>CE6ZA55@dE<,bd@Ha>0c߿=k'v5rn7F%L鉪%S*{H&gBSHzSQX'p'{93`ۦ4&ԷP!+mmxXjzşq+9:=7oVg$aCԫ~Z(*RdDP8^]FW-xem 8&М5xN gFA}vؖ9XJVNˎzIHwrŜ)d=2rpؔ٩gʳE}TlE 353 @TGglLw*gvr{EV\-өRQgrքmQO_G,(*̡7\ә,Zp ~=ϸ8\Y%d2ڣ$e;e|X O^T~ ҟS}g j{Kkk#sir$6;H!I-mѲKHek^ ($/s y,Fo!޵Z]À'kxVzpY"䑪{i^sIszA[\칒FR2˄ cZ K}{+ZwIt#!4m~)Ӫ%D˷Vy lu$~ ͺUտґܒvkkk}I Zk\Eu΀0ynyoʙ;E 9UImQ7?Pau92 M*F]O+yZ(/9JBVwUdZ6R4$4"et73J$RH%O]v|9p-V/1^?HfR'ʜ8&7  ĒL) USi=teEެa̶Xz ϱgYZ7d82bee6eb39e4effd3a8166005805f43bbdabdaa70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39 70e4412ab49462e95fbd10fea3851da342668d9c 29066bbb6c0c7c2c679932f2b0481b82d7d2665c 140d3ec7db6db4c0c019e49bc53137586a59f617 bacf8d311eb54dfc78f62c68bbdbd1f18280e26d f6d621756996461c073b437844c723df73b48a4d b2488330fa7b23af60ede320ab26a51bea78c1f0