SQLite format 3 @ ? .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
) ) %|T\, ]/]HOL-Analysis:threads=6elapsed=345.291cpu=1869.816gc=76.5327zXZ ִF ! W] ŗXiɟW;g``ϐ~3CE+ֺKxbFcsXK`9K
P4e_aWKD.Ή)f ,)qFm.uAY9%|5vDڊn8pA~F\֔g?-w%^+X`aYLx:ټG>R|eEL&sdճ=%}p(s:®tuggl"Е)BJ/FYа
'XKH"=7Ӑ?¿1,1J||Af߂eh'c˯
GMb#dOOhRHE'yĠVejD໌ZueJ^ҝޅj*Moŧp-5[Y*48}UwB3FC7z+vqnӕ9ʳw],y@0bVw@O 뫡WZdTV/߽]婌(0F60V$xم3?^JMl]
~p6#HJJ}# ߙX_)jF(Jq=pT~NJ?tVcr~qݫj( P8CHC'{NWSF@0p!p48`8䅋@_+/{au껄,"RN( PNm#MkĎ5tF&=lK채
Rlr$XMy]Td;-(pR}۪&Bۯ9ChR4lۅzI`YĔ,j_1qS$taͮJ.b.ln$3Nʱ2"s8lAxGHi"xA9́n\ڥDW80Y6I/~t6`AԆ1:>ef! pPqޥ_DgDo[~R4 nOc_b'^i}OjTw[H&G0}}bݷi8LW\B&{wz4`S~l/Pwb;sވxG|8X ]7-TAsA9w ?W
4fVa)O0Dzt5_&>a:y95܇g,h
;S
':UfJ#%p;~zI vpJMݏ^N.xvR}sM6&P?V_E)BQ+IJ/.oV vzP*x7_3c;BaLbsѴ݇=i4,rD`-K3SQV2Őd'@Uw93{4;cwe;I[A
Jgcu?3ڭ #_L4D=9A.kԬ{5VJq<
&Z&}|!$"XG1qVG#סD陔F?$q5Mv@CsA 27 AJQd,1}b3Ocw 1
% HOL-Analysis ~ytoje`[VQLGB=83.)$|vpjd^XRLF@:4.("
z
t
n
h
b
\
V
P
J
D
>
8
2
,
&
~xrlf`ZTNHB<60*$ |vpjd^XRLF@:4.("
alysisHOL-Analysis.Equivalence_Lebesgue_Henstock_Integrationdocument/Equivalence_Lebesgue_Henstock_Integration.tex7zXZ ִF ! ] A-MՋhvG"uIBm5}d_X;ѻl22fgCxQ՛Q#N2? ߵn4%Oow(2Up
X@kf"7c
r4ZQd7d}CƼC.dʐޠ`zO8b>=
SQOD]19l[zܯD(*hTXwV:e)z[[X4?VHA|ް<ɲw)\v!gUM[{`&@FA3\a1UfU7;E}TL|pһka 3s"üJճ0"wS-:r(>.I@FbW+[,O\cm6;crJVc*,y}g ]WS89e^XsGEТuݩ٢@@N:tN> Gɇ+LرFc+}%S#ǯ*$j,$tn;J tQiVOCd}ÑXhfDKCqs>W;{$N6CD<ܶ&l'm({Z~.G.)]K3"o`f->Y)AsLkd>)\$2OMR9͟9I.Pv(6>j1L;;(J(=l}Ή,w\m3FA>B_3?R'^QXY749qxmd_آd),*M3MjbAj?XNڅH@WfUmY1.S(i1b`z5%`9Ui6Í;`SN5)n+RsCqSue~1iCAϫSΓ*Sh+ YzUd}Vpv
n^ZʷwX/%I+PGT/`߸*IDK39%HPM)MW@ȼ_ P4_y'UܕEWeXZ5.Jٽ)]-'e_:
ƁN.,XC >ҹoaܝ7\o.TB8S2!~ݍ&̊tOd@lQoy /1i1!$
0 UR1i+yp}&L6/0I湍[EqPaojhGl.M3ət0Ά$997u]t|
eD:FV*lC)5x K6/''Bpmw6b__܋16VI"31ͺ&U}w' ,',cq;B9/_"\9^i@> m~_T7s.2#3hw@\WNvS3`%bk k
,}gnAFXEf*ަAL01*X/{Mz#r烕#&aWqvf,>mʼn
"nrX*]eyy5};E3V!;Zs
Ԉɺg\bwT2a.,ˤ8C傫PNx n z$uwPu$R\GaY?k}'{t4ˢQL0:(XHJ2DU+IuAo'Q9a\>ukZ]"`
8כɂDClftp;w9:MZqڋoU/ `zMMA[EY o m
h
e
`
_
ۄ[
ڄT
ńS
P
N
H
G
D
C
B
@
w?
v<