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 e1 LD ]S HOL-Probability-ex:threads=6elapsed=6.981cpu=20.804gc=0.948factor=2.987zXZִF! ]ŗXf1-q恈wX82Γf^en_s9@m9jx5n,-q1ձ6 PA|8AF#*!'ڎHf7|ѕEv2D`4I#\o%2Cw0:'c )_Nae~>@&6"kYd$ !sB 셿3FYIez,l}ڀI.oovkSO&Ftl}.z0QԇJpM~a{YoעH ` %;XaD).Oc"B`+Y+ӢmK[0_}nsa۟r(*e)8Dr(3XئlbZi6b0]>0:dϹ 6;~xX9b[0@cHЮozCܱgYZ7zXZִF! e]ŗXiɟ11?E'TSݚ_!}M >x.?7zT|Q:G$KKz|2^BOѷ'_Y]fDZ)˿)Y 뗢ŝ]m3Jkmw!Н_=tIX[&xgNP=ߋw3Pzo90#pgYZ7zXZִF! )]ŗXi%BFQV髮][A)K .,l(qƆl+ABƳآh93_5bʮq8AsAuZ'TJEt2C-¯|أ3I2X&w3܈͖pqe ZovIWqIu@&|+EW7H&?]"!hLBׇpЫ)#PgBpm)f m;c2̈ ȪYc8D}bpŎyxMd$U|:<sk=4$u1)\ θh2mm`7tb>"&[$%oҎC{͟3/E%fs:L7ELm?U 4lvd;'OG. / t$8'i ϥ 25O@w !{U0GN:,hX?m6q]u_ R e6MnUI[ⱯK1 kߋQ3ݞwưxPlGvpaj W9;X:'? :PoTMw}^^3qj=XUTn1dS:7gp5yCm-to(Rp^~e(!\IϮ5;I<9L_x\Wgd  N80DT`2dTp'9=n>ne8yJ%V`yqY2SyogYZ91c974c600fbb7a7735b5bf51fd821b146031f7c849a93819fa451203d0122b4dd3db0edd4c708a5 e5ff3eb8497e8e1ce5e269fbb4d27f07bc3d35a1 4ecbd4f51fb10bef40450e457f77d5ed4caf48a7 3ffe95045b045fd763718a5c9e9e32a8ea822881 1 HOL-Probability-ex