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 z1 l|T ]S HOL-Probability-ex:threads=6elapsed=29.361cpu=50.416gc=1.448factor=1.727zXZִF! ]ŗXf1-q恈wX82Γf^en_s9@m9jx5n,-<`F^;5u«~YP%u~3 Q֍W9%R\JQ305=ra30yA/xdΞ̗*]( ]hwikEN j2aK 8VC& '4F  Ǵ|QM7?G϶Hw@-L`"?@:9f@U] cDWȌx7Dx*9b$){2[Ʃ&oRw(6H'!v=@zGA}x:;׮|| V~נto9S\ cac]?z"c:5a@߮VA-q$20!EOK!Dr4d5H:,JOcω3jͭX@){E#ċ,+ j8P^s ,9qEldc=Gy`)Uǽ6Gky:,8ZMJ-zfE1;M( !n"fDJL( `*|FZҊxuM@<ǝ1ĉs^@}W_W}z)RDX?] weAQ-Cs\WٚXx8~ۗ1<)YԦ6@Ҹ1׽MlD`|F+-"mZ4Dbг+*lV;!/QEdbcyi{9VUӕηzԓWhm'gVU#M0;8#NN%_^]ݛnR,:M%Ԝx{I .[jZ9fy]?pCrSR~!WYG}6G{x]6+[N <54._/p#- {a *LA"1"+:vTKQSOS-d=m*Voc;xCX:vkGzNKR[.mWV$[Aq?P]ǹ!*+#FƘ$QL{⚺{9vQeڋYyndt`ՉJw c⇫ߪkh8K4K»RQ~# =i:}c|1Րpӌ)L7b6AMɻw˼DwO8;cTpA/fcUC Or<a j޵ ^$-+ ? GJ 8/!4/S~RB?Q8O KmUL#?!\漟lu4R3}P prba1dƌ̗Vnxv(l="".Ze64i,:J1zY(9H8W!i <5 i4 8K#ُ*=u6u5.O a?h 96!ܙ <gYZ0b9080806a9bc74021b104f9b8809fc79cc89b670f207da8fa38a715f9e8aa8a58fd6614f1b93f2d ab276ec74ce8749c4ecb0108f5e05afd9c485e27 abfcc36095756d69298c3e3f7ad9b50f5044ea5e 537a39f8f17b8fcc466b9a9ad32f541f1627041a 1 HOL-Probability-ex