SQLite format 3 @ : D : .K
B T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1 indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?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
[ [ /xd|\ ]S]HOL-Number_Theory:threads=6elapsed=46.709cpu=239.068gc=10.0177zXZ ִF ! 0] ŗXiɟO}M:;
AtPRgkÆ.Hcni?ÅBgZXk^4`jK$?6[$P tnI\8\I A7+.ɑP CA
a=màP|+NQW@7:11fK\ | c> "/n{61k)UYf[vƋ+[
mpOZKk:Eqw 2.Ƈ`-Yuʰ.GoZJ2=_1(mp_atѠ\yzSpT:K!q-M.Mf$
rlg,gW-&%ݏ({i"#:40`l&UȤ/_q Z-qǚI`b&\LA(֬ď\vh.e3">4on^*q2?-x';=8h$/]k'u@vp"Ż^lh&s}i YoE| u*LAF;ờU+:NJWBX7pkcǤ=\BĴ|0 \j
?+q[/X10j^a
i\b"Z
,& ]8#@w |-?RBl=1r@Iq'Oc|12rnB(@z
U0+ Hz~Cc7Z *kC!'_a߯jÀ
x7tAcA1eO#$[FAJ!$*u$B3-̵y@)!
1x*>K;Z(a.\eb ֟ordI"u^} u碟pm]EbU}.?}'5>[-&'LITw }AV_8Ų9o&B#'|#b_n߈$YwaiFH _1*-__{7ei:~r"k*IͯZ7:jA[pFud\\Ɍɘ.z}&*l G\#
ue7!_N!NG2RNZvY dIm=}g'D~L\ZEkժQj,A
g5ȝgRH_ٷaMk$[iE(S K\M AQ^ZWߺ\HB
k/}Fr1JХLT9*^4ṊORى}RP<,zBPe1"Fw?k<((9;Ӻb>/j6Zk
G#tL&1ɭ{]zJpZ&w+z(ˏTjt`M9՚ld\L84DINH~:
g-{qfEEkKJK ds$k0>M/Hpx? s{#RF)
F@X$hMS\[_Xqވ9wB3)
03SeՂ}k!xRm>Ĺ࠸^áz;
]U|6copQVR~K3,L8F xTMZyyzI{+cQ at['v;9+(XL7&E=^`E߮[i?U1'iL1bGsV>qŷqŻ9~䞴73`PuelJoFi
X@FF}GR<|cMCDFgAX :~G{[mBw2v*E{ͧ2&
lq(h/Z(wo:FeǸFa5Ǯ"LIKHӆffj-jkTIf2m歷} C
/ HOL-Number_Theory 4 >~ytoje`[VQLGB=83.)$ /EG HOL-Number_TheoryHOL-Algebra.Complete_Latticedocument/Complete_Lattice.tex7zXZ ִF ! V\;] A-MՋhvG"uIBm5XKjFщ*1WBx#֛1W58%[GT5HS@imZ&(G˱ߜץ})dGK<2{-W?ژ _e~Mf 349Gs9\̈0M>m`~jv ܆)s"z?u9˲=E=Ka4\!TOJ !
TquGdۡ$?. 7J]3fcw{YU#
QomSK\VV>(8lerL
ewޅGnQcX