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 << ]S HOL-Probability-ex:threads=6elapsed=28.203cpu=48.328gc=2.048factor=1.717zXZִF! ]ŗXf1-q恈wX82Γf^en_s9@mћ QKQ1dy/@EN>~!Nq$3q ?@/s1z-~>LSdlzrRjV37jdB )ğU Z #}]dG)wҦKjc35J}v> l˂kdƾ,ø /F[}3^ Ǵ|4b2{>^hm]#1g뮺b7Ѓ{Oޙ`-@+@ٗy0+Pj.G1y&a?kNJg IK\+t ?Q)zLVUҀL#XZO>3Ա[8tS*K^@vʹzE?yEd߫BK,.t9jP[D$^'м[J 6"69 n%R ,,?1y_&^gYZ7zXZִF! e]ŗXiɟ11?E'TSݚ_!}M >輫߸׏9R|Gjp [h({2XZwpk8Syӱ//\E*eiDT^]* if$UM4 ΏNLڸ c{VLgYZ7zXZִF! ]ŗXi%>qVm<_EčKϱ=xPgR[F*b ;Fy׵t 7.bD4Fqza0EUQy_ 'f'K=95 QM1ˣ\{3bI a`hviD&\?Q<`gZon<#2hٯvqe.$46 CO Nf8:6wde=w-|[tȇ떄^a ;q O;2:ay@5v T'8dWQW2o䨴~22iA\ݵ!TmݟN/)&,=ܨ XKSw =0uHeo^>(J?yPw3/RѸdIJn&urdW35aeʘV_a90k$鉳Ȫ%Ls^Tug_JX6ac׻X^@T%5Ja͙S*Ц'l` vCPvyw\".ExI?fK!x{l@D)9ʻ-[etfN *EbB3`+麋̽kհG]ۨDTnKs:@+jɃbe~q[-p'Exz|mrBƗ+$Dv!0%6i5o2ԽjYxA*K$Fg6Nv=k0&&!x>;Ѱo`a{+<ڹH t%h{P.}_6H5(7SBWۂ,)kh@kU,{Y&D4_QO r`\Iv<ذq@V*oYE<ٓ (%.Fssjr+{f@#ԏVPOlqe' y\R݌vEeÄ=trV>ñK6>D5zL0c0)wfAQZqN>e)Sۮo$s}sn|p$+zp `dgYZce30a2433700e5805e1f4b1cea0b6292946fc8daae17b97f9975a58f49edf9948881ca3e82dad276 a1e2147b15fbe11193d38b22e9fc5ba6c17a7dfc d128a6fc0cb39a0d2432a0e056a34ccc269692fb bb9f85cb154e966604e85861711d8c840d3a55e1 1 HOL-Probability-ex