SQLite format 3@ . BBh77otableisabelle_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 ??>1 |, ]S HOL-Probability-ex:threads=6elapsed=27.194cpu=45.324gc=1.560factor=1.677zXZִF! U]ŗXf1-q恈wX82Γf^en_s9@mћ QKQ1dy/@EoI2Ytp ~|".A!Uި%FceA14m*'TWE@c5$FEC_w$o [szdE1kk`Sdtou#\{jIؕ(Knhg 4T7CxNq"Ńd:kqZ4ܖ'ȕ3g7ԙq-E<o.Z0X7 a_p8K|˘x6)cjnXlG@\W?tK65,fr‰8un&v I Il6` ^%4 0p1Gg Ro/(ǤG Jp s4HQ*cELk=qn{8F pe3Nm?$<qtG˚{$&@rEYu]$XbvabyڼgYZ7zXZִF! e]ŗXiɟ11?E'TSݚ_!}M >2&aSiLS)mBMF6UX' ";!#Nڜ=Ҩ V=t ,'YBÎnXlU@A +R_t >;/k{bG)`I`I[Vi gYZ7zXZִF! + ]ŗXi%;tFmb:DG4j؄S~Wm  \cvR*V23(֤[Le26vԶOsw|WW"{afSY*}e@n6ׂ2N% |t4y"#aa~z 7BOKE,N~6s1KbAxMy p̵fk'{Qs۸ϩ=C2\m4لV⪮Bt^8_C\[0QӄN HZM K) ꧯmF_F՟;QgfDۢj>2Z쑅t|(8D:sĚy5X"ܸ1d}3 U|OߦThQ Yb3M/*Pj 7U꼭W&'z!R-DXU_<{HIŒ,Gv4 1"1hvbp]lR믄wp鱎8rr&mTxU Ca=B??PKTQ|:ӳf;яUM!u qfh#H,4՚ʼcO FաUM4"yk=:ZK rX'R1˅+>D]9F,{u_*~z'@9V !fs! '4!+4)e _.e/ %7t٬N`,P"1hq[N>LWxExA-r1Sg+oՅT 9,AXm>A[2콢YlДL'\XeVRqGt8Q H>ewr#hei-rFF(ahR_:w~L{~<K.dgNI\}*>mU\F$I]1 BS$l$CVྯF_xϱ{yLnudzkG)v+^( 㱞)kLLX6l .0ZܚG Ґ0ke*:*bpBEծ@lvԫqD5 Q[tI*錞jqˀ)TY"KA~ͮ?]՗-9+b"V$˸LRs({V gYZ4207f667d3dee8f8f47ff3404ae81de8e0b6a0441667ce1fcb30adc5ce6fcdb5feb10204550c27ec e9aae1d42c4adf660df67523aa6bdbf83e56d019 4ccb7537455457ad333738520843e76293a60e8b e4957e18363fb3d01f026b9a924f51d56f50db2e 1 HOL-Probability-ex