SQLite format 3 @ .K B T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1 indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info `1r\L| ]S HOL-Probability-ex:threads=6elapsed=6.699cpu=22.880gc=1.0807zXZ ִF ! ] ŗXiɟH)0!h]F,=4f|zaB|`\>F"$v^&oӥxJȽ5q C).6 76ꍑCJZhy&BJ0)|Ig(YJZ 5J[kZUQץ{$AwufZm*q# BߏL]n+7 " SxnSRe2"fUSKHo\fjABDvB|6l"-eN-ķV`=N}5`NM֘V;s-IACΑO2I7q!&5v]g~-qylʋzmƙH'ag?F`@0||r]:$)BUk!˺L=bYFYDqZG\ŝ@gkYDrp8U럍LQv;vR^$Ygj_1<"^,^Z !`+vZA! J] ăGg YZ7zXZ ִF ! ] ŗXiɟ11?E'TSa-5ܹbD[b0V-W)C9&J̷Lc@kC}C 8:B1P4[GxBUnJ\bV8vժ5M=f+~qD >Tw~ : DBg YZ7zXZ ִF ! )v] ŗXi%N9*њPFQ. oJ78 jK0U]tK|si}I=V]~fnok/zi˻\Y|jM|r'ۍ!]yB)1t;K^D_af]eTq)~i CN3DG2qqbᝌ̝.^I+\ph-^Z6EuwyuvI9shщY>y_3~ZoXB<{\C?Ow`[|SyjajB ixRW4'op:ZoJ(3K"H6je?VrK:#dq]^m\u;qH@ܻY*YjaWӤŪ+T+5rJHgc{O$9kꛈ3o6ii3kY@?=$SqLG+zI>#0n5yr*SiĺoyqܰoGAHs]NLB!2ΊQ=Z#ƁHYGx:$/sզ9 @dI3q0@at5pty>0Hthx8mS-p1UCzq(+n+ѝSc j*U|o;a]fm.Pzᯒ&t{ NzIܗ#QǾ@7Z,^۰3i 7˃>AGh5@=n\1i@sF᷂#$=SD{w#m.Ӑ+$,a;1j!]V ,3(.P=qHqWOV@Kf)YLZ+r99$LEf"Y5xaSr<]PYZ'uZ^T"vj:5e崬5K+vL6v-<!S| EQ ߩ4 VEmv8 t5#D Z|nl`@GD$풝5)3*3uhwP) GڍJԣ9:viLzUe ymX XCDx~LYB s Ǚ S !O~ܱg YZ61d07d24b23525450982c43771b770a88877142a9f3df623f783fd84a7fbb5c71b7694606606d9a5 61b1f7f49064b60cde8458ef4b67e23f8844513d 89d946ee6f495270c5759e4fba95fa7a2f194459 5c33d808dbabf9d9982f0c3f0c5a9cf96276a0ef 1 HOL-Probability-ex T1]-HOL-Probability-exHOL-Probability-ex.Dining_CryptographersPIDE/document_id574e 1]Q HOL-Probability-exHOL-Probability-ex.Dining_Cryptographersdocument/Dining_Cryptographers.tex7zXZ ִF ! "@] A-MՋhvG"uIBm5n0Ș.Wʼn!t -.$kM\u絚E [_-w!/K>3qX _+eR("nzf*THѹY+SiɁØش"_?-J68Rp蹕~3dXK 2~dJDaLsq2v, .;mc4!ml3CK5fWŝC'>!^;znEh/Ђ<
q