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 = TD4 ]/]Diophantine_Eqns_Lin_Hom:threads=2elapsed=34.998cpu=55.512gc=1.200factor=1.597zXZִF! 5a]ŗXf1-/6vRZ޶>_GL9s՝TÚZ֔@@eD,H\gWC ;-MHJ?OaPAScvt 3PF8CnLUNA [vQ7ϷnY3}@>HԄZ"LlQf3iV~KvJR6o_O0/cl&˖֣Ԭ#۠\a~V?HlW 2G~Bsu?j'ul-%ٚ޲1(֛_'G4azGhbg)l(ˏi -*+80B = Diophantine_Eqns_Lin_Hom  =(= ".f) 3J5aMwhvP-Nh%)*~D 3ScM_3_eZ\P[=@!42Km@ <18= pg.Hm}HMDgJ LX2w*ceU ڏjEb(x4Te2tIslwÄ_k*у`IrQ}XK.Cinih#2ÏF౰#gyz=Y ~K X=a0F#kivԗ64*)nV |pX_ ;4pVFm3/ qE~r8/z\Pp DjfU1Nbbz\uZS?F6nV5ܹ|<\LI^a g+8~ xz4Q+[+c?%8rO">qC"9! \RUBk1uQZtwX¦kegYZ7zXZִF! ]ŗXiɟR .t[dw%d^ܸEH4!LPV`:0LyS|M ^@1SR+S`.A<#5TPWk-]cxy^BrP GJʙH'm# ]#>yMd} G$?<Vqyt̑)l/WıgYZ7zXZִF! a ]ŗXi%>gFYUs%~o,~tEEw)L&7D~+H!@vΉ!wFRbX{S|kd$s(d;1g@lEGf>\2o6Po$+/#[$ e0@hG$*v )hf`oCoB'>(h%g}\p->K|gL7ڽWc$ywDHdyw×!R]Š, gXMV<pNk&Tܕd Í{1i7pPS,ZBj\#Ğd&2~nsfOPּLbZ"2GSPmپ}fT죴, p_sSAk&^cƼDw-*`ֵI2JBYnRNjv6H>aԙM>o segL "j鯖ĸnX{ Qȿ_CS C=r|t[Мe;M3lZ%'O3qIOuO'(BCJ1ئ*{@BArxA2&u(v?D<&&-S:ljW#-Q"bJ"aNJk{oIc"f&"1A-ƫXc'z酒 2mS{7Y,W0PѣwTue]jMٲ[ (4K-B$v vKRy8а= "0_ ^+'^T1:=Uϱ0'M\N("QD,rg,^*o3 !^9SiK2<[}g;,= nČy\@߯'CXs~]j7]pk˻yDS#*R"W]Lڊ#κ; #$E19G&U:$0ἒ)sZ;@,!݈d , {]Lm@5/zDJ<Ô@A(,Nc[*0@煻X(^T܉aj#I37"P$.j}b *W$6ǟ]"ƒQ):ap`SV˱|؊Jhµk?k\CG^#R%tj9p@7ujf5'+LT0 }$c ɚ8#`]og|ʾ"v$NsƒҎynv~"XU' * Wj;JЧx+oVdvլN}WE;-s!TxTi])iofǗY lȥx>x"+YQ]v~i:]PyqkoS{d23m=Ŝ?@ܲETMbby@KX`orXi']y՞rcd_+/Zxx2ƲD`R2C(q~,ӷ%X]uSf>ykJIl+cxGD~~M􂑆\׼(nh.w뢺1S>XsarugjEGݥRMQxRv[K)҂ iafAp $+M{XIsHAGhUF~AQh#j35Jןi/#+zg~# Q֖"Wk;`ؖQUܵ]@,ZX)2s_ X[^ՃmJjݚz3Q]CdY کw  M:]ݣ:aZq?ݘ-cTOŒkiGB|5% 'f7cnA%FV1}qm\+o|)! f[Qҗ6ER'ʡ0c7+\3y#cC`ؘƛj Fr炃?Y)RycU-hcwңRL'j+} Y8‘Ͳ9݄]67pĿ.]rÐlIYAjOFSZaV^ `N,wjr zɽ]CDz91)kŗZ,FxZ6w0?8`9B{2GXC\$@婗> F@ؿYؚ3m̲(~O>@krbV#+W3fE Y