SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 u1 $| ]S HOL-Probability-ex:threads=4elapsed=9.256cpu=26.552gc=0.744factor=2.877zXZִF!  L]ŗXf1-q恈wX82Γf^en_s9@m9jx5n,-}aK#g>;L-u8먧{Aٶ][NV!G iG~P`L4 ͍h51hɔX4ko |NRnؘ 򚳼ZݲUyПR4Frt)/1ՁXC2N! .]'}wS%ҊI Agu(*e:xF1 S"I-TN}V JZeVa4d DVv˒BOڣ"t| E0Z^dƀh<]Juϊ90;e(25—3#i1 MqQXMM6Z>î9M>HÛadEs1Ri.fYgYZ7zXZִF! 4]ŗXi%L xv1ži!95xª\g6InyǦ7t41,Z *óִ;ߋl06D< W*^CP>IH?#3q[@^|E\I0h߷G_tL89qN_)kWR5Ve;Wi`y*(l+FW`u(i٘ޙ* '>oݛ1[m$hW0)llT1OV~Cl)̐xYX;Zw0]VoW+V%1-6Z3L*/So]'kF,KG,bָ7e͟z4nf+5qU#Vx;0[>nؒu!be*Pg/zD ŭ i/jq,f"ǚd ^ '¢2׏7%qr]6[ .w A~Ԟf;7autegы<^pryvJ`M{aNQym[iSAt(>U|hVܬQ-75;g]2Nwg)3572BE j c8=x#Q06.-Q:n/hF,`T$N[( rCJN5I 5QN M1(mc.޼ZΞOa34/6JDN3#u 29.I5*Z@->[ QhP\F(ETo i#sgYZ41b4f91c2493c095096a3fa62d1201e74d3b901ad3f90704504dab3f9fc94e3d143d1180eb260c4a 27638859d3581338a14773da3f5cd45c4e2a6773 3452b5903839b521e8a25186df281ed84043d834 8552347310803099605dadb02749f6e002aaccc1 1 HOL-Probability-ex