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  H | ]/ Bondy:threads=2elapsed=0.521cpu=0.608gc=0.000factor=1.177zXZִF! ?:]ŗXiɟDŽ4X.jݐ1$nJ4S,X) G-Ws(V@i}YZ7zXZִF! ]ŗXi%;iv\+T2B'ntj~_{ vO]*F81O$)YrgH ?Xb,eQ맋1l}/(R)b C75¥'+}7aʽ@ >[%$4f\C %rMY[>K&}4C/SpYxYAR9pF`E$H[S$AJ. L_tH`1K7wZA_.î^=Fo.[8KRgʭXZ/d}Vc.@Bн= #ǜQr!Gt0u3} ju`H AjF^ewJ uUG&tP@?Vo&ۓ؛>{-Fr7/-[>\PP›|t=I1ڢ &xt%G,gYZba003173b5a1c4986ae1b07bbc91a83d1e71ae3e0a2434114e0f5ff2a700b4a6f5d894a41f7c1240 950ea4632527669f7c4dae144a0d8bd338d2ab61  Bondy O#% dBondyBondy.Bondydocument.tex7zXZִF! L]A-MՋhvG"uIBm5-cFpJqOh{#uҪXϾ;\U*HI{9'r}I0C eNi]iYuwN6$ l:h1CPL'i?Z=qf.+M]5#j|8 Fb;Md&JDA 2EV* +mLjO\IT'xc[|צ [ATOUv'< (J6# oVasH اY-_Rh6 i>$C YEl?{gc~տcpvP A1pH ~{zxЕq,'^ W9" t+9N/O`|j3dR3h#q$OOfwz%v\3CR7Ed`c@f|C c\* nAI1z D~ְ UxY'ÌytsѬ&!q EG\x,d%.RuYhHРL8E-fӶҮp (z܅F.zSB:(膈9bWf\;,D~`r $5I{n a:Jj4OoOr+DV1pMjh,rr#l_'Hw<)Bt!nN%b.X2AD󵻒G`+s,fyų6w٥DB:YtiIG%,>]~yQx>̅5oAP֍DLYLEݎF|u'P-ÙeĈ6I[lSIi+wDQ]#n6H+,nj9fT" ETEYQe0rW4f/6$)`B){VwD/HyV^\55*$i[@ IigmQYJjehP$o+Wq_p ,>Y -ł:;8)~Zj]UM&\@ّFFu,AS!ψ;ӎP =dw C7[w>gw`R*}uW P6 \r%arHʨni^ׁTHy\=a{X ̍FFUpi Qo.#TOD=g4Tϻ@# T@rk]TGsM ԅ 7 ߕ8Z;ȁ~'z}}KxAX8>ϑEP8].jy|Jl%Z*ug]My-!j\cltRfS| <߄f CuIaHH^̂̂0Towj9 )ԍ~lo0;?r6b@Pv+پA )RMF/~@eԭED ߢ]hH?􉆣s'mI 嬰z%N0o`Ί:fK8lÃ(׫]vrY Y jo>R)N$ݯ JWw,6- v@VXQyh_C0wkmPGCʆ雘.wz.oz^Cj^ S>P\I-"$V<; >:}Ev! g1vG!%D,B?‚~;$fu|K,T.ulv_͗{0:L?!prȍ+NRz`@]U=$Zh *JA(9u"Tum'lW;i|}SH;)"r#0'h4~VߔzAQ<’_3J[` a Լ7߇i^˳BbtA.~לr +g'06|z[}G,ui#.v0)9\TGCWqik3GL֯"hŔK,A DQDv+"@xgYZ !#% BondyBondy.Bondydocument.tex