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 l| ]S HOL-Probability-ex:threads=2elapsed=40.508cpu=49.524gc=1.616factor=1.227zXZִF! @]ŗXf1-q恈͐7ӺV ;Dg[ o83LͯJö_!s[Z&;\ɍٚh'5Matso-eaC(.7{&F Ԓ1՝# ̬Cc}Imn[_Z81yFRv~1S pkI[P " gUt?8p*ȑFX%7E)nwSCw?VWهJAhxH>fVgYZ7zXZִF! e]ŗXiɟ1˦r*Ǎ9-O_]/9.<5n/bC0 U$ ~2䱶ϔzv^AP=(f'*̋oMXdLIGb!q:_|1Z_l(ygRAf#qgr9HYÊSQgYZ7zXZִF! W]ŗXi%96@6M&}^>9]$j߷^sYnGٛE\iaĀҼ{A#&)薌Of=&rd6Nn';d?MꞍn0U9m7酰d-{z+&|RMXtdAxېrՂ!~T]hU9nޑ3@|:n"@u p8$j"faqV9U^6cCG x$9Jީ%^?#T`."GMoM`qkbK_[*a UR$gNHzǷ9J>l0A4+2tpe|4 =ٺsZ9HM  ,Z1~6C:+]];2u>07ӵfrV+Z>nDIo"A.,/Zb q<;ccuk]qVf45ׂ؍.ѶYy  ePBޘw1} r^l0<")&ORĺ~iv6b&[Hd6ddP}벺zk!4&a.$uwf62l *NS^aFUh~ΑeTTf!/I2uRV_;ᬾ8k濷 Y'HnUz.}dVDj R|}o8‹pԄ8 ! V{f[7QRp(rK7烴fv|;ޕħ^?@=LJFrl8AԠU=~U~ERIU9g^y7sh/TlFJR[bK%D蟹~^&YEgτ \dOc'|YC#L9Mj#R_j+]bBBh# _/~Ó' !KLA<s+qx)/9ܠa/%] r7~gӡwҼ Dfi$ˉ_t9:Npnc!𬅼C5$‚.TqZbtC2 *p{@6c9!3$xtւd堛* beA(ӝF ,yk[xIݿO`xG(l4 5EE3JtV~%++kTz"J#z[qԻ5( .eѦgYZ5787c30d34f110bdc6ee75cd833d5667541176123fe17abdf9fa7db8d66f05d71667c93b38e5fadf 8e9bb4e670ef60c93ad8a51482f2cacfd3a804de 51719ee739fcce1c18abd346b2a5edfc7b44ac7e 26ea49f477e6bbe8b2061023676d9d976641a8d6 1 HOL-Probability-ex