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  ` |D ]/ Bondy:threads=2elapsed=0.530cpu=0.624gc=0.000factor=1.187zXZִF! ?:]ŗXiɟDŽ4X.jݐ23F1(^G&XxqoDm ZV@i}YZ7zXZִF! ]ŗXi%; ,f>̤M ։{f@$?*TVWn[t>6{X:BQ'~}LckM'8]ph1)7][7嶆 e_^^tws-WJ\=`xNwƙHEP|Q$T, -35oCo3T4qgCWhhA6j\\~C,M/=ND8&9rZ\ 2_&Te{l,{r5b'4n6 .CPL'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