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 ''V1 4 4 ]S HOL-Probability-ex:threads=6elapsed=27.574cpu=45.528gc=1.152factor=1.657zXZִF! ]ŗXf1-q恈wX82Γf^en_s9@mћ QKQ1dy/@E~. mIDR8xS$C3OJZ/-zDp+'] #+Rɒᛁ DcG9Qp;#"j*t{#Ctwzi=Mk #6F8ЙTtW0^NH׳9@TkƋ%3 Waq7LJBg׉HhQD`C [+5 uvE0 tƺP$Oiږ2f+H\cpgBWHZuBʰ p&ܤki,. XG&葦!5vJ't [^u{h`U_R7?"v#歔pHAnm$߇Μv,%'$ɛfsiO4CN~1'Pδ3u78gYZ7zXZִF! e]ŗXiɟ11?E'TSݚ_!}M >Q['EfEriX7agIz <,jIo:7{g3'zarrJH-24-HSo"_)b&qYfL z7`oA=|+~uG&r,ɪz;gYZ7zXZִF! o]ŗXi%9(IoΜ\Y2Hx-đGpRm#rnf6 e:l!ҡt<oUf?%CBAKnh Je!<@RxS>/|@4W0[Iv0Є.aVkg>D̄36^_@ #9 wNg9vc"j @:vc3;.5 b,m1L(,"7\@i Au7jŒ-^wlRSN i0@ \q(}:\0^ڙ~Z nI-0ԝ8l= /ڴ D$ܡ =f 2o5st `]pY@ jCYh$U£fcBD+6wS@z@,0ђ8_q`E'# 54 x w^2OvS&|Ϊ ̀cO^e,=&taG Us x؋p%% u0h&5-F:HJouw{?mX?%FepkrHi Y;jUUen/}[ivߚ}8mJ[$u yqQF?BFFuͩ+!anAɰ]Wg. ƤKQ ɏ_߉?Ev?ƞ\?9 HgeI4==6kɋWqx,Nn!ՈI5B_I\I 4-xFNM"}eöwQDTاn{(Ә$C>kq nmƲ|Y}Ѣ%ABBrm \&Ɵ]f#J&g̲ 6 -yx}ꊂbϹWшd.PDއF>X 5batsCAܩV/X( w:H/RJ%#dNexWx RVc^TXz:|\߱ػ{CPnb-##-ˀFhVm0;N2Zq`9 ٙFkcj#ֲPAg T8ֶvEfLX{xd5:W薎n_t΍t)UCthIaDA#8lM8NL?%SF!NfkI7%f _)M>\HHUzkB~Ḅ0{UքS7N^He){U Fi S23Q_ʮ3QSc!G_a7(v!Yƪ,/,mIhF0LbRxJr‡k8NH _w~gYZad86c2878671d241404a2c8eac288dc4539949fb247ee34b70883a3fa10ad7a52a304d82cf858666 79d8a2ee73caa6ff9cf2e41500504f89e401487a ff3805036f24872190dce506cc91442e2a3db8ca 71b83f596d977c492a5f4a8601c45de1d835c5ee 1 HOL-Probability-ex