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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info f= LD ]/ Diophantine_Eqns_Lin_Hom:threads=4elapsed=19.300cpu=60.280gc=0.964factor=3.127zXZִF! 0H]ŗXf[&2f>- {0o`qDY6a4_H~2q86lKvA92D[3!G_\t(nMZOծK}P&| "I}ĕ=su }=x(|<Fu  Ah5-)%ȸ+^i)u u1(Nm6 WZa%apK0MNĿ\jURĠnJ{|x l{1u}R4Wnz/S"sOq!w>c \ۗ:) = Diophantine_Eqns_Lin_Hom  #&vRq7`2Y/+ɀVrˊMˠ%.6EZLAi8w6rP& 7:W1.doAbry ]d\֏~:jg dY3ղܵmLMl(3߾ < %+*i#jy[yՐ@$E1H F燪^JWx!@ ݱdX\Z蛮8U #E[o|{_n)J="}d7߉(eF BH9z/c=Ũ䄼0N/q#.)7k꺏0+ NX:A ;:wԬFٍ7xAI-٠ԁt$ 5U0`lblo]i Mz>Y@iGf@ !a+įܮsK[k+yot| GxgYZ7zXZִF! n ]ŗXi%B*5.t6CV@}S` GP։KB~wP)a[ꘉuXFq#q :;o@r쫈@`\y-h,RPXr0pEL @ Gko\JժXݒ<.0pyV ABܘ=kGg&Dht+:xU[9pperGWQߍ"ĚX()5eXǪh`S Ek̼y0/ʇ+Q2}DQ>_7.xW~Z!`Տ>.UM_fi 3T긛z@DL/:;k+d:,+t%nQC15Qw\]FQ`ჇЗwmG+&%Δʹ ,ƅk7~UyzK2d!V`tV%)%3wM&QkV{0A voay#o/) c4I೓\3 s )$/HSIdދP_iꨚƐܣuxvfcvyI™L5UIJ?z?~?Wiʿf?є_(k4%8LxP3L"\B#{2x_Kq%e!4/cz+P<2 H1Z3.h`+i~_2Zf|/EE5>U#_f,.u G^usL妩0t]mf_~HHXWSzh[:!O w%]{Ȯ\>CۈbUq Uaў.8 !AC%$um*V]58!qJ!˗pJt go3dġsHqs(7ʮbKMGpqK{ ?'#6Ҽ6A7}7#9#1^x„ִkMgW+`۹߃O퍫ՅUg@־(Sdq=dthv?=RuU YFL(ae, FZcܔTW*o=;У3+vf-H;hoI}d%x|#(=A=ԴbTO۳|$I#:( 0zʢua!Ӯm..!{(fOƍ{QpO:= q9S\%=?{|%@QG5-E`64dlZܧ-E r 2l&¾UQt~nNt|1zs@Xy*͜uB]㊛wV5DXᴥO i[;Y24l1Zjd%H|p,C1]/` s09?K1Ҁr*fg9Lnް\/SAih4/4 lwZ`` "ؿtgYasxi-r_۔{ :ʰlc7(]e&g'ɹ6~O )VS&0AB[J&j79P[01bxLWȐH=Te%k/- 6 cGk3@tH'cp2mm4j\/P;U70Sm0R,].'{x\t&::TuQ9sp lc{[<0P4H'nVF [އmVG>`VK@"DDbG,fq7 N^ }GǍCڰ\1E`lO.s;z,ejl rgeQ 4I`13+v/P{gYZ0baf3153e6227e4100fc7d5db038f5297f6af48f3853cc710de37a8d8ae8e2ce10739760530fc782 68e24fa803389d76024c730e22fc9263ebe14aa0