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  \ |< ]/ Bondy:threads=2elapsed=0.521cpu=0.624gc=0.000factor=1.207zXZִF! ?:]ŗXiɟDŽ4X.jݐ1$nJ4S,X) G-Ws(V@i}YZ7zXZִF! ]ŗXi%;˳ѵV̘05HudBrف g[Wi~Z8Ɣ%|%o-GW=xϮ RzP͇ZEcEnW]kNiV{T%\w\"pT7sp$u U)~YW.߷+^Dص _>! ?1mGb7Z nq:]Qf(t'FL<} T״"#eoى? 1RY ctAʝ=TRaqQ(P^ 1lBaz#eXD7Ny0p*Dg^,k,(@ 5U$!Cv;- nf]DQ6\f4nPx\1gc!\}k]>w0$lѰW.EqL1Pa!![@FrEh%gYZd981960d292163fb9e6aafa355d7ca2da0b1c05a6b223331e017a1273774b77ffd0c2fd583138aba 59a3a880bb4874f61b767c399786d7d8a5dca439  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