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=26.844cpu=48.416gc=1.240factor=1.807zXZִF! ]ŗXf1-q恈wX82Γf^en_s9@mћ QKQ1dy/@E~ë[wONaig7< 񋕥`nvgZW<,Q̛VݰЛ4Zc{mNн?e@0zv2P9nݶD\*[LY^HI',Zw )J| V\X5A=f0>oJڬ`M_gm[ uO 1)B@ƚ/oXhxpp'dnC[⬝p,C~H%A摖E,6Яmyތ]$Fbw^ 4]5,ZgYZ7zXZִF! e]ŗXiɟ11?E'TSݚ_!}M >K`M[ FSL 8{֍ w'>˱o$FKQiB-3 _vLb3ٓf)$"w2"kRP|f |%>;HD?%_G,)G$gYZ7zXZִF!  ]ŗXi%90Ś㙅ojt)jUIb#^wTCZq^30.t9zgATpYKmUf uEpqFAo5<50Aܵa+%XŔ,%uc&82 <ȀH.9WιIvOLY|`u sGskF͚s&m4C8Q7aiVE~~ qs; =X60c")iAq>"d_ġV\~+';$DH4^C<ւȡ9+ l]#zZҨ4LJF.~. ˩ڍZH3wKis( pi?\OjT,Q$@E!/Mʪgaz`?B▔f, I?0k[zy=dBс7~ P6>ЃT5FQT\]܏L˝fA"Cu֋vAwވy" GY,0 [=u\栐wGBxix%K<䔚m*R^n:授=>^*m/rZ'|̇KҌ̸w'욥=p˿魎G]Nہ#U4 `PpI'ujXEE)"ڹ'q79/I eWeXR[;f 7ٙ7{vU3V>0{rX$0XO2a9Q$ެzHUĽQ %fM? JbOVTPwc0iQUre3)%)2_-+dh_ 1m\#[42WK7Ԫ(#};SymXYVVGKuk͵c oI$`\C\ ɱgYZa7d7807035504bb8843643fc6f1615f54f0a70c537873e0061f17d13c4a85581673448df5586ab38 676afdd0f22cd3ad42a2bd84ac613e2d29a5a368 c3123a8e2949a612492bb6bd9eb7f394695ac686 af86023900349c0f060e3d9575f3069b9f00c5da 1 HOL-Probability-ex