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   r/\|D ]c LLL_Factorization:threads=4elapsed=58.248cpu=146.332gc=4.628factor=2.517zXZִF! *P']ŗXf[&=KN7+?d2KcZnCvf6xLgk[IOϗgU0)Vϖ" 8#1-BPDL?ֽ]ww0To:'%(ǘ@yqgLYVw0N`\~i#|2ǓP&ǣ3jTգX< 5H]W H`^K%t&h&fs85aϢA[Ǿ&5mwocAy~gh8y#Pe@A0JId$Kh~uڏ.y wzmq/D@*ِ.<g8?iǩhi]@_R{('U㙈%bFE6CV)/"s5HFlş5uR8hd'Mgc"Ҕg)a(l-P;6 6 Yw}CpM .J F2mN !jkv-D $zCZ  Bzxcei9-@I,ωStܫڝwi0a'f/.ɛAc[bR&)F' ϖ nt*Gm i~xh̩JxJRJG?VF kOlG=G-Jo QÚp72la&ߓ3d[|FH CQiTӲ"|).?BcM5r;GbWxT*W1\{D@Qk)*">ӵ 6؎#%k H1Fziaa3wAוRi>*?Yx/oٱmCEGT7e6?1G-wJ7Y1vB' VsՅb_|;ٹ<3PqK##O{131Jdk׉Q;L|$t*&7M![2\ŕMƕ?yhpKiF?EE =d,Y~{GlS0 |jȚ3)SE LGK6qTgYZ7zXZִF! ]ŗXiɟH~1 ?evv^B8۲S:Ψi|+ћ};i2O_(Fq][֚H@!I X¶9gaݖ L_$t0RbVS1;V"&ПO,}ޏJLau2J!X;ߪ"O9EGv[ ٜ4£*1u l2kfU__o0 / LLL_Factorization  [gYZ7zXZִF! )" ]ŗXi%B4OͯqOmON8+ҚLkb=hAS^sXQ %`BM5nbĩ9g45pmJG/X䡵iH`&sqr`҇RrXwѫ 4(%7m<9lZwLˢd5;E--sALEkwW䒒,ЗKG?~F&) /qGT) pz[1 sz|Ł<ܲ|ѴZSfYSOƎ4IJ9* m`.SpTݮT^K0E{J{Iːš*sM:ۆnkz5Q/O"UzMe$爤#}C1o 4Uol#ҿOT[sWƫ;GN-Og1V=!9͋҇{8bDBʊ^Mth@\IJoNZFo\)uɲn綔m Iez͝ 3Mq QaRl}%ĬUC8tMPimQom2 ׹/X(eu,p>  ÙtlR 4Fg;%k#LL-(:X6#I0fp]k;NCښ<)L?50YI/T0N "7NwΟNb5)+C==Xn C'grt |]ux9eA%LN+1>w޵oR&3jvPT#vB1:v!Ҡj11gs&B*s ch-CDO2 Ȅaxٕj}xguNtkLjs&Dhq!$ϦJ],̬di4Ӫ~݊Ob$4g@V#Z|zG_3lkD8? }ڇ5.qvpc 5L`ƩAeɩt7_PfE DO|ycLU仹tȪ8FqY2A0`VbLYYCZFU0e@2GyH_*E/13faa }f&q 5Qt{)A=_* D)(R( y4nrmC H2!U+P?ef-~w2T׭:V?v)@yGMȫPpʢ~Sgb2i"B%e0S*Ap!$7dQwYr"bKu,/nBVqsUT$^Ui5F>!M?=="J>ff DuPny3jZ_ r,)Qw:#. ؄ v ]%n%@̗Q_ѳ`ӔX0bP"_+(IH~y|sjC:sr&QdD.;L|Q0` e%\Ją$̝"nqZ~4B:05(h@n1 &?*%! ]^Gew=_C*+^koFɔ[Yx}\G0v%)(;\VNC؛ΞN5Q~%z;$v7[]"y9J^ͯgr3B.I{dKon)!ņNh#8 @\Dhʨ[PfQfWh/@΁x>bܶ& L4c=1Pu "|RYXѭ~TT"󔥆 0/mI|8գ*W%"շV Uq4G{W;fl ]_ q7-8,1N- -ŏ Eٲ|wI&y`D 筽d+X䮢;C]> liWd՗=40r H_DBxvء,PM&nTzI -ʮY8%ae.4 p(!ѸqyF8g!A0VXO5D+]\垭:Ҽ.&غ6X8~1n' b-2!HS.#`dEl-hR k8^1$TI~'ʄ#q6:}b hUi2\8>; .Uxtz`L|K2w@h!lAY{@N0L98>v}jcմw{u66}ɀ"M5mʇS/?b~G>- Ey AerY͏Wje?,ih_@J9o^Ϛ\՟yQ# Ee 0.NܺΙ8sؖL}r^:̩ 5(NxrSެ