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 f1 $l ]S HOL-Probability-ex:threads=6elapsed=29.350cpu=47.704gc=1.108factor=1.637zXZִF! R ]ŗXf1-q恈wX82Γf^en_s9@maHԇ x;?sSoL7ˬN1&@M%0 OգI9$ZuhӎqⳏV0G:|>m8UW﷥U qAF`ȉWBGkas3bD&hJ:zͅapeq Nw* )/]۞-ώ ?w?9Hx7 )~;ॎ[PƋ$;ߟ5D\NI*w/<$꒽eBj^@ E,HBwTo#&LL/+*b%fNC6+ڄ<놧9g#]T+3ZL \leul)8HuɄֈi]1Y荤Jߣ YQw%n7<1[SV> Hg^O ׺P{{F˕gYZ7zXZִF! e]ŗXiɟ11?E'TSݚ_!}M >eFť"$rO[,Zߎ H) t˗$xGSmΓE0k}o]v:V8()=J_ݏG)$G#Z>|06p5i2&pgYZ7zXZִF! 0]ŗXi%6XrSȠ=i.}Maqd!s̞(UD&5%O |6J☏N$> 9&DFU)N({h \n`KNJ&Zlmi2HK;b~V> x-km(V25> ̝= 'S*R˸N%X;qmSM!Kn)d H#Ƃѕ?I߁Q1jSBĦjz ClC5OlbJg]l'Ͱej^|Kpܻ%r|Ha)Ρpn氪rsV#m~3Qdgz0{. Zʅ}v&sJ5;3D 2X&K>{$&yǝ }rzjlw`C'ńIvN*>-|5îсbwBB%DD\5`@HiZ 17s_mf'_fH<۲(7]Y)cbnv9se|ԃY33mvW}vwpߥC 0ZdW<o)>!Sae>nK94UxL辶~sRvooK~z/Q>(BPKFK+;T ~ƌ>ePk u`= s4%dվWxy3,iؓgU3jN9C711(ɳOA,XDHۃYKG:`yͳrAkT&S%΢j Kt]"֧̂{5KT)F/#P,Acolǽq-^j9ɢ..|Yq9d8=84hk(?I3K)3K %?͠,r:A>MU@3|zp\w 7-[qLM Բc .\Fa$&gk}aܐ YWPqP~~ԹgG3)8֒^RXOH)Uh9^܇-z!9~PiG__e!] gYZb11bcefe73aba599129a4217b94d54b3c60168f53427243aba6cf13954f2663e89dd0ef448f9e0ac 8098a84a13d7e74c846fd42de0efb751dc599e66 a03300db1aec4e3f3fd917bd55ea812fde2f23d3 873c1b6b49aeeeffd30816c9db72601553c20c73 1 HOL-Probability-ex