SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 WW&1 | ]S HOL-Probability-ex:threads=6elapsed=27.992cpu=47.784gc=1.448factor=1.717zXZִF! ]ŗXf1-q恈wX82Γf^en_s9@mћ QKQ1dy/@E~. LؼjT1D+ 5KjXo:uzxu( >MuSToĐsj-thQcJأ窲0l3Uh:/wcvNk'MtnghN"Bb>8IRJr{9ƄţF\H^}6lK G37;L/Q`J`׏9dk|NY;_쐤X5# ?OMH 'UY R$^ߏUa L毶ՌOw Hٕ[suY}3CUL +rfYgYZ7zXZִF! x]ŗXi%> H5 =(Cl16155hs2adajؼչ)y 1!ҩR*sqxOQNlVAMPWHܙZg*F3R*%s|ɀ%]N?Dc"ğ/m͏-o]eosF#Zm> ׎ʜ1YOL'%& دYRCWN ~Rj!b9%q/J7N{,<5HSBrt(ip\UV@)M.Q]D pQ$0u)h]T2o5WB KS^)gryuʶF#Q sgժSO{nxS(UY@qjW @na;YA;VpT гe3H6s]r-[䇏**l {Ti6xC ľ(:ޅ܅JZf&!+$D!7_n?L( > 滼vxX`ú=[HCvjd-eޯM揚.(1,=96WH`QA;j,{RRܘԲ#7@TuMUJ93N'Q_Y6J ;YMSO"ʃ\wR#>4br[?A-Ά-DeCE\}" A#sQZ( ;094o\e*٭$0 C*GA81.xI{& ` V<{W[X7m9?tW!04r{(.3AɏXҐ/ls}1{^ gTOԥR[UZ~CG,ۙGLR)F·Z^BH_mCtVǒtg{uS`DzKVZgg򒫛Qt_5V8R <}PbN'H`Aۍ`RRWsq\O(Oi4\{xQ3 &y* X#-P4^,9 JJ3dwEO`O%`IЌQvѷ -kqy|w!Uah$«_E6pCSC)9 y1HƉ0h{07C\PNX#>vD+6 / _U"J ni0U1$Ú N?\_ ¡ (^f<~`R0<!mc+4L]ʓ&tIr| AaOarز{pYE{zR3 C:gYZc9aab23fba2797785dae556ed48e39a81b61f4e64604eb2567ec75c8d9622816e4c73711a6b8dd27 772366f2f051916b4acac7b2a3824bb7edbc881b af8e31c1063625788acaf3e51657faf5c2b5d8d9 1671da8c50e3fb6203fc16bc19852ba17919c05d 1 HOL-Probability-ex