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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info
@ @ =5| ]%]DynamicArchitectures:threads=2elapsed=14.524cpu=27.144gc=0.940factor=1.877zXZ ִF ! ] ŗXf1-/6vRZaKSt$uxem1o/pA"6oD=b7Z0;U)Y"&$V*$TPRc:I heufpc8t6=w2 Le>Fzbߠ
d-3wT[d&0waZpZЄ,㸣o*|m7TayO-%Ѹ,fغe\-61t8 !'0vC%A]g8J0H7r5xu?ܵO/D$NMݰQ-_l{E"|#^ #'PNj .džár6#0?ץwM=>-a\등|+9[OzhUϔ rz ' P1g YZ7zXZ ִF ! u] ŗXiɟ:340Ψ_իX+jެDu?.jT yFS:owlmqi sV:Hv2@XEf^#C@(c ib L^hg YZ7zXZ ִF ! [H] ŗXi%;?A?<8,~{i%8uу[)2e|Gxw-:ߒi/\mډ8P55!8 ǒ&=f תl{#lڙD\d?@@XobEVCb Y
+}U4GT.,jnHي:f"[99ECƉ|ODk;'haJ+$t0-ZzЃpXxݿN5CLnN_nźx8c
Dw/rir;ё1jt]1+aZ1*%+ɚ:>KtdKQ,[i^(CCNjP_Ji/mDŽ)K^g\MRy^Un
z:dYxsZD©XL}+]ytOeZc۞̋!V_~긶*ii xZ`0ӁoKƉvcW &Kۖ[Z<`,?y#֔R>N3
3.'(6x7뢕g`- +`7Y
>>jHyƮ\e8wIUd= =2ɻc(t`nlU>.d=J:7
. wɵ*FpdmsEUsGKNTtpKǀxCS >]MsI,ik_3g"[xjqYa;2o*!蟂:xT;X7=P0"WGڸTWD>.IѼx
2CIR֪%{822=pI\+
%Iv
Ldaʻp8I[0ʿO.`
!sa'f@j+ppRB"H6Iȗ' `vRxvdLPU"]KۜPqȜ;"ʪ{yp=4;ge1_EP7O]~e\7-D?˸yfoNAյf9S5!+O\8YX8/[Jlh`C(qB+:nHZ2HH$6)wk
f$COFg >
´g YZe75bb505dc80858d73a0af7eec81b2e99e0aad409ca5f92a14099d9d0578aa86393b807a3c2738ce
5d409056603c26099742d14e8f0a43cb37242805
f25b7aa9bfcf042befc4f0b5d99c36328c0d769c
e7d8ef4c95ffc25bbf4c26957c85a5029f1e088e
fcc4f9d59ca745b07ae748f0a4aa02e80e4bae04f083f3f373cdfb47e8602b4079f7ab673c955885
5 DynamicArchitectures
V5q% DynamicArchitecturesDynamicArchitectures.Dynamic_Architecture_Calculusdocument.tex7zXZ ִF ! p;`9] A-MՋhvG"uIBm5}_F`ZLJZ_RObWx2UBe"@`xC(]6(`zI`!YL!%
VwbOx
,[q;X~P)ݪyϠrG kj^sz&g۽(3)4K&w8X)$3D |Y]tƵ+>om40~emb6n 0vPgrQ ǔp@e::;\uf
O%geMn)!Y9._FwsWniB%3Oi=[٢
PTn-}cAKY6 Y5_% DynamicArchitecturesDynamicArchitectures.Configuration_Tracesdocument.tex7zXZ ִF ! ?8YF] A-MՋhvG"uIBm5T9YglZr&7֊clR&TvK5Òa[:L/=6yRG.LnhP~@O_}.ۘ/uj},щcLĭmamD B%l4^]l
jM }
8MfyS<F}tj'EL1Y]|9_
s$L(Zy%{[h@s4!(1c. qnDڍ'_kr1tý(5icmJıOHc: v{vWT m)@ٯ dEmgkðkFZmg1i q;D,ʷr]ø!2R(_|')戾1)8xjGq6Ļ
bpa`M}\#CٸM^_+)M
4|ŧiEmKlNbDօZUFF~.~
%M+On(p[|P)_[ `uQXlaO &Aˬ@N%a}P:g)H͇(WY7-2*:z2gFLytuC0H5.8$8v
]d$=, Pw!,58)yZqޘ
m쫌ckN."ޥ_FKNf
RCN9XÖ~oc9z׃AKՃVM($l!$ʣdه#5@:ء%uVڔ=@.=ws+Ka 2ahl,HE}[,g 25wcҾjV.Ls{Gd)/oU!bKvZn48bZ:1"Ő]9i7MLؘ6/nM$^_~gLlmG%&MXNDf_*J*vfa]ia9R;^=06{4@+|e*{&lŲ#AC99g&z+ 5lQM-9$<suu:'k DM(gnս!V;(u$&tKAcIM_OHĸ"z%=/OՊ`H*y:w
+rĹ$+٬AJ$"HncGDoگĎ3
_B%61o;*,:#DL4!8yQ.tIT?eC4=m^b(X(i1$CnfA>֢!1pzQak! ~X~_1
5[{o@Cׁh9٣-6$AC-tfKBeS@Q7r'n3@hn%g,+A78^s?*JS`T-xy܅SNJ
X X X5q%DynamicArchitecturesDynamicArchitectures.Dynamic_Architecture_Calculusdocument.texN5_% DynamicArchitecturesDynamicArchitectures.Configuration_Tracesdocument.tex ~g-ĥU[@}ni4iN o)MGT-P# fϽ Rs.ۿuH43F٣Fߚ
Ncw2[QL`xS%s_@/MDֈ6H\:w\jg/lZdGioW.`H@S?~G~
[_3S'&ʗ