SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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  9 9Dp| ]/ Bondy:threads=4elapsed=0.724cpu=0.844gc=0.0007zXZִF! I::name=byoffset=3053file=$AFP/Bondy/Bondy.thyelapsed=0.117YU~EQbJD}YZ7zXZִF! ?:]ŗXiɟDŽ4X.jݐ2Հ)meP#`gwïP8V@i}YZ7zXZִF! ]ŗXi%D8W;FГ j>4z?i1K\3ڻ/,]~fJJr$}Fgkf]\L'UHҜy+5GaH`N aĴxcm߁ucP$ǃk'tw\z/7[f#ځέPO:&D 5\gIJ#RJ#Y`ZOo ˡiLMEԚp3ri[T_F/V(Wp ,{ ̠w= *AҾ`Z2;%R]_q%2xPiz$xĽh5Xc $|JeWnϳfكi#R/Jxq-_7v@KNQ3Vw:>}g5 TrHT ;ĚOS*z>]E0ŤGRjԧ^x&u4I^{4u{/6v=gYZecf07461084fae83b79da82c3265a177a9f704fec3d726d89c950dda47a94cd6c59e05975f526e9c 56285ac0202166b2b1eb0083d14e25cae3a1ed4a  Bondy P#% 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\* nAI1zo@| :Sc6z%G[ұr@4+tAX>SЭ owHI>uR;2^[gi'L&6w9j7hٌo~mlcSA:ѽ ?q\] 5զ\/ŵdWIM wLM(" p#PJ.tle('IUmp^~2{Sh{eJ_\LIStX!os  hw4*YL:'G],8#f83 4칋  vXw2T5dbg"\1;pkrަ9,Z2D?D 3fB mONO0 ]3-w[΄m( SQ!Ǽ|UƯڃ<#9mjyh3gSP=a6 V'u./`3eh Mf:OPMcTKJ^Oxa>yj\BvG. [m-u%@{1X#aJH~t/IQ[6)0ΓQp'$ $zM)> IEYϐ*q| ģKnxrKYXnPy $(•g"Z,SkZkSvF{|0s6n}#[T1G>[Z~v?)@%'}dPiQTu[:8/,p&8/C׎PB#T(l!|23CRG<5oҊQ{Bj\Xb哉lgW|DKsuӯo`ZQ1G_؊L[*\޼HI8I'W3T jcq.$S40g\}kq>lxE7ff$`,.uDXdJ=&kÄU2, i=/CL+.d LhPJK" ~>V-Hl6S eGWC7MP.J]8,9mfmƜeĕp @ƱG h r&?[k(≠c&I!0/B]k‡(FמX6X*_ߢ*s$.T>caN&ڕ{xVԮPE(?SƥiR)cF8}Jb"9@Mb|>tVք P