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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info
a1
D|L ]S
HOL-Probability-ex:threads=6elapsed=7.625cpu=24.672gc=0.916factor=3.247zXZ ִF ! ] ŗXf1- q恈 wX82Γf^en_s9@m9jx5n,-̺~=;t
|Nxm!dd wCbK.6Ow7VF: |h
z ]713bFwnE$XN_\ 50 .8 -VkY<{tֶ/uC/s D)H,Jjóϧ=Ft[+T$d0?{R& +!FY9 \r 92,Tyʩ{[ο'
TdEuܩm:8 ,$zEXw**`k"8?Lzȫw*_? sٱg˞˭ލhxC/n!}~ʹE7y8R c W]:"oV|y ǎzjK rFs |."C˕y1Oc,
nITɎg탽dD S["^Z
=< k6I ! x g YZ7zXZ ִF ! e ] ŗXiɟ11 ?E'TSݚ_!}M
>J>
HM6^U'@'
T@N-q.!IYRhxS{Ɔ7Ô~¯Sfuyz
3J?B7KsO٩8 AC5 ÊSQg YZ7zXZ ִF ! , ] ŗXi%JӚE-I#G qQ-.&/R[K]|BFo3康OE܄&RmOg/.4 $?8w 0|}N#98A Hd:9~ur9đʀ hgTaB]\W?"uwW_up˒\<>/:j%g_OҲA\`ʷ45N u9l}Yh*p\`0#% 8n&.Wڄ2b4zdĹgkq) wT1y d(FUcmϜ/*4v /q6W,`뀲\K+h霓kr8 `bs )A1='\|ADxN2g9d xi<} G1 Iþ o\ ry lVuP && G+_ӉM<CYH@s{HP׀JIK6bP6@m'gĬt
1 f]10:DҐ #`vx~{VĠAuFEH"?~DH5 n| Y g YZdeeeee8ce35827d64a744628eb1ce2df7c5f595042a32478847503f3f85ef33601da5d3576da9156
89ede7dc0b82d7f6167cc537096edf93d9e4a1bb
8bc82c116d14be659d2db88c17a1ab4d03645ede
220a481c249d442810f069d3e7a194faac92d97a
1 HOL-Probability-ex