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.528cpu=0.620gc=0.000factor=1.177zXZִF! ?:]ŗXiɟDŽ4X.jݐ2 TF- 3(i@Ӏ:ij_V@i}YZ7zXZִF! \]ŗXi%; ^N/NX~Ze9d[lp{wQ߂.r%`̀`%A .j)_Fg2KOp=2rCWRj _PipS 8>$)0 tFXAE ꌻҭwlbGL. @b_BHagyקFV[FPA~̫({k_3n ُSNu( (B WמJt(I[Lt]ױ=x40LBfkjT {?y/$%>8FEz FLDȿ(#ܭX:fuWb1[Z#E(#fŕ'sk3 dCPL'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