SQLite format 3 @ .;
B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info
F=4<| ]/
Diophantine_Eqns_Lin_Hom:threads=4elapsed=22.103cpu=67.836gc=1.152factor=3.077zXZ ִF ! 7] ŗXf[&2f>-
{0o`jF!=NYU57h<`/勴_զE}4`5IQ1KWуiTW}#lllMt 1;
"r$132/fb%_"sA'[ڭ~۷Eq:tRK5z +Mc
yntL=$G=Xh~.BS2Ņ0YZ
fBiZm
_mWf^W8:ݿP=FTӉ^gDH
= Diophantine_Eqns_Lin_Hom B=U9 \Diophantine_Eqns_Lin_HomDiophantine_Eqns_Lin_Hom.Solver_Codecode/generated/HLDE.hs7zXZ ִF ! 4
%] =@bQ4\Nc^̼ɲj%'Jgx60yL
5rUHK_ rPmX=0$ݓ6VG(r"4!:6=Ep{3Zw'8tIYArgD3^:\K
&p0%4
t t֟
9mյ;+(GCATE>XRfXJsf hbg?ūb
/T.e
mJByȧj5c1!J"L,~TK/- KLE_43>1 GI+r#$9xKљ1öSI (u/Up$$cنʥa+S
iGͻuJbVB.qu_I/&=@nNQ&WGeb|%9ÃE!jJ)YL*,k
CylrtW$Y+Y%NEIӟvގV{l+MU:ߡk 9 u>رa2ZܰY#X9?(K=$))zib8)#f]&
C5ID
ۑB
-NDko|HL'pIuՋM)ܽNK3;)L_ټQ+ϝ7K:`cXȧv'huG+ v0`$';y`v#e~mQ83գd%o3ٱh в|FIÕy9(}F@n~1Ɓv,͍q}@{/vpTÀ!f mrEYZR5CuݥbQ^.l(
GZv竧XUƸ
pPA]w_ZBQћ45-
\,9tdEp xS3<Ѣṭ?i<܊ȏw,"bQnIQ$@
?٤ QҝQNx )]`e42}%[@(B`HeͨU)zsa\?OB=h'N
YX&>CaZbkJcG[x;a<ݤ(_]g'OI@Q7'E
! 8C[51g@q0ԛTc媝H~A}
$1-p3T9D'[.kCGIE,o܃4S #X0xl/c^()<2e?wCDg)lYēiJEV]WlLXͤ'S%:D#gw$G;M`5r:W ԧܳ"PX^g*i:,%nƯ5w;4ks`"V:3LOKBaE
*>XĠꮉU2KM8ɓE -^rnN|q0|i
:nMWX2Fqƌk2nݸ
=:ӝӵ`S\(k.&jI[d#6mav$j'aioRqɄp}j.L`:}6'rޏa@&v"Q{_HIdo|U#NbL \n߾A?*gtTݑ6k(pu&}Vct}snaY>H9
(NR}1-IMKi6*9ou#Gv剬 :|XÑ w ܜ;]0lj+Mҡ]INW!AOe4-?B*E%۪_O ҠFF%bjAb Ɇv}y$7vVX~=lYMhCzK)dm24[L)jvf:jjv"'E5?Y(f1aeX å~j1AoQXPf9 :;z{1u)@Zrol)Պg⠐BŮ`+5ۿ"'K7"H
#@Nj`R]s4骭9D@x=rxhkvLZmfv*P00*QT4R8ZԛJzy_S&kPpJ
ZcEei'
~Ak~^o
.')E_qsNJ`E Ɲ$!aq&[^asDABCܒnDeכE<=H0>1_80F_?j
,UmNe(*eQ:0g Zڮ(E>םQcjCVGSV.KQaE>/813U.;#XFc?;elʙdTA:p2X3AMQ5ylᰪ@34( Nxo%^CӭCX/ωjWVw4/"%+sds}+N=嚾̡!z,dXtCJ@C#,b4s3ENaYCT;04ċURyϣ>S.VrOB#?ʔ.>ϕND%v@uur=!O;gUc >PqE#|]
x`Oű8U+ ┻;jvZǕDv4j~\_RbnSD/DN UC2V$Ŋ>iQTޅ
l h 5ȱg
R R U=U3Diophantine_Eqns_Lin_HomDiophantine_Eqns_Lin_Hom.Solver_Codecode/generated/hldeW=U9 Diophantine_Eqns_Lin_HomDiophantine_Eqns_Lin_Hom.Solver_Codecode/generated/HLDE.hs aIjg ᥲ\JXwwfrh;P{G+{3,{?F'ޜxի~{c pywlQWwNk_l=("=aԇ-ϓVk[Dd.C.}T.ܔt7@]ΘMֳ`Oͅ*BGw e4[|w4䉘hpx C:2xH&@$
#Of@js5w_mc5sywsD 18fEYZ̔{q~
=*Uf/j,]8?fu8=q$K"lLGƮ.LɌ5o
Ҹv
۳zN(!frJ!ū*i@|Vdhw/`-C1(e}(@Zٝ>8~Bo,BP\D'~qu9'j ȑR*~ϰ5C?&fe:1ʬ32ЮԸR9ʯzx!EgW*
}EMjjlp&JGucB>RNX%V\ĵp% \K>pXk*X͛{GO,ow,֣J>(S