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 ^1  \ ]S HOL-Probability-ex:threads=6elapsed=27.402cpu=49.636gc=1.280factor=1.817zXZִF! i]ŗXf1-q恈wX82Γf^en_s9@mћ QKQ1dy/@E]G.AWeE6/^1_Tiu8SDґ

wt$(h=AO 'c1w /u{O=XpŖ:Nwî5EKA\ W =q"|KZh7?l ]K`ioGz;gYZ7zXZִF! /']ŗXi%ύV[!p8oCDߣp"ͩ:ZHcD֜tNá0uds:䶄j|!^<ٸqO7n 4q4@se2Eˉ Sa6t5þ̜d[8WjۗaF]'1t^k uo)HtrfƎ* {%hiaƪJ|+"0($ "]D@Ұߨo}N]`IJٞf t`BZinq-[F6=fMU\JꒄĈ>Ih&[֤ziNECRZَj,#"D,h6 gesS^X(}is?%7&iQ3}2}2pU|@XƵ-/)٦QBĄ%xrX(ƚXJ\ %RL0\ݮER3oEe:@̘5Gо? P&z_N3Gfx+u8~ 6B{e!,JVGOz}lak7gAl+ӳlBwB1:cg&JjV (!;:խUf"4hXX#TS P2$:3Aϩ,1-#.1'À۾v=`2{7 :w&xB[>Q#w5m ʡXgYZ04dcbaae4388badcb7e985575e3b7a638e7240fae8e3314a2216dfbbb96c9391593b20fa6b915b86 d5f092271c0e51c9f28f7703e0f3b57bf8bafc3b 90d4feaf0e89c128dbefa60eeabe8c945bb1a873 9192a58cd7f47c87ff40f140914fa6d0dd915db1 1 HOL-Probability-ex