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.515cpu=0.600gc=0.000factor=1.167zXZִF! ?:]ŗXiɟDŽ4X.jݐ1Q+nJ4S,X) G-WVi)Ptg;V@i}YZ7zXZִF! ]]ŗXi%; ;/`w\% JxhWke3v_7 &~΁Ȟ9Br"Ghj{#zr@^ʡ7Wߓ{Ʒ,?9L$ 4E2碄!vM ^qV{A)ã[m +3uy'5ZhVއM;vu, !|^2qcR k7&׮r91LfԯZ}+W hPGZ)6K'I #ppT 0%4)) ڱ??S,Ad> (6M<7 c%gYZ1f43b826a6fb1e89ec2a88bb30ee1c451c4af5994adc5a97dc9dd2ec807ce476868ed35b984f32fa 6b844e499af244731e9df28f8a3632b143e06d3b  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