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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info j1|t, ]S HOL-Probability-ex:threads=6elapsed=28.522cpu=48.860gc=1.344factor=1.717zXZ ִF ! b] ŗXf1-q恈wX82Γf^en_s9@mћ QKQ1dy/@EۏP+ߤ1:!S1-jon#^lE&5ŪAֵai&JR$`2^W̪y~VP&7k&6=%E ZX| A5x0Wאdq7)XDfEXGKQxʘաPbiHU]na65+EfN0YBa\L|7}Q38~;l܍Y5%n`k_N9 *a;+r:m}]egaT\LpM<6b#5ܪtMG|,A_l8?=H_u_}[VxV96qƒJu]oޮVFɰ53ʊ`mru1 S.= qg YZ7zXZ ִF ! e ] ŗXiɟ11?E'TSݚ_!}M >I:#;IZi/|z8f5ZS]3 p/s"* C ctd,*$KKYͷRbKNQj߭', 06Pq* ds[ g YZ7zXZ ִF ! )O] ŗXi%>'MeC|[c-62rtRX\S lg6,Z6sD#G5
neɮlĪ$@6|fW3J
V@潬XJ#!~| sg%¨ڝJu+Vp斯jvO#@w} LgdnU{*{f8)3yaĨ|nH,-$r({5Ȩh1_
}`FY:rl&qi94%AhMЬrbPJdM2hr