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  5=\d ] Polynomial_Factorization:threads=8elapsed=27.610cpu=102.052gc=3.677factor=3.707zXZִF! .X]ŗXf[&kRFz9X7@Q3/QϖmGr޼S^gI<B sMlԜD͸ ÅR/6 Ѣ?>[AsSp~li6:8ޡ/twBVZ9L1N,M3{;5N+IGA66ƃrl1N[Y|E+k嚌!MDUmɚ:h|Sy\ؒMI@QOQEʨu4m;8BP9uO 3aO)/j.(/O8B}Cz[H>7]nҚ|:`7, y4')‹ y:X&m]3Ϧ0YkXןmDL| ʯ=ЙK'cA41l = Polynomial_Factorization  VO6eae>mV} 3 ٮ ,V%X j'4nΦj_v̦Go/o=1)+5}坢'I$6*x.hI~iP@TQ/5Lep6=~GygxTF]9= 7tDZeBPѳɫqGW)G~czŗj('P%NYdl3n(bTbFs2F,5RqHP@ҫJ!B&Y~~kreƩoE_8@V_Y7|JׅU`p50©h5c6de8Xi0 y~lbGڨ, k>6jp3L |t8>FTi%@`v&Z%NR'>jCW|#~:f{xo&7GH:Sr ? _", }lh KQUjlP=nZ.yAk֖8ãF&!knDx0yU۶y=ي=`Qdp:ԍF>.M2ΎKƩ: ܠKҬG0ܤy8ѠMQ1MOT_CnFNtx,)?2sB!}I&X|."Ʀ/~  \(gYZ7zXZִF! ]ŗXiɟˏ "B"V[9*⍱|S`Vg%.05|0BYPҼ0WKhZrߴLčŸwwmX_6w&ГUsiaubrB_+>i\^6M6NvӅa1@dDF "s1}%sH[ j UԚd>KŔZ=[(0=0xJ?EM$p@4 [1E]K(@:ShV@oz5ɐojέ@aX\̖W*k#d5llbͼs0 Iv CvBgYZ7zXZִF! b F]ŗXi%>tj\  l~^зo4 :IYz} \]6c@Tb@x35Ȝ5SMA~XM<k&[Qcjb~8Д Ies0)obo[XJ:3Q5 JN#^ QذI`+`{e<ƿ0"A(GñCHM鿥85:گx-'A-z^:ĺMR?U(iKΣ TT/7jMƌ-oųf<%`x.9R9*!V4_U^ y.ywZ|77!^\ dca _<j:׆0ծҙ&UJV4@GnT::tꍐ *ubIx[D_uYZ^UIqٶP:)䃘XF3A|e.U7zDDkʥ({!(8E6^A ΢rt3OE7%46ȌQȩL);x,գC NMN\AMX+\Yo4IB ʻ:0+p9(3t7?$ѻPC**B6V zaaoa͒|sPp(CPDM)! [ aGdn)p}.ZESl*c =-UtBiĠ-īrv ȕh_yjWԫN;-R 9߯Q߳PfQPR-r}ql{g%nRF;Z% ә N`??rJ.-ϿYiRDrX9ChP=]$ev(a; x\g%W6|f*P+zgh/.Ւㄋ.I MwRnFa4;lDyŒ*iw#p/ѥ*f zYԅgx+HɳtO0C-67ػD"yH2~N:$$5O"`uH&}Mǖ%="9pon">M_q};zVW7n ,B3NThTy U9JWfGY:2d tҘҾ$E P VL0q& ,yk Or4%m+? 4Y txg:(xMpTaIQ"PKTD(nGx-yKfF70{ Ƽot5=gYZfbdf3872b3317be5fa50387b55053d1592b3f577c58d21ba3dc8b698b4c6d36f436849048b45c256 c642f89151926be6cc7824e0701f1f7d684cfe9b 73b47e28ecbfcbbc455d66c78eb653314a508e0b 19b45f5ae2df88080122fe827653eca7fbdfd042 11943c4bb4dd19f64a509bc89f70471af939eca3 48ba913b7a174994a065dbfcd2c05655ab8053c1 d9a6cd01396a4a035e14c2bb5c4e54f7a507169d ca6175148a067d53403bd5f69a49c4c398e22ef6