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 YY$# lt ]/]HOL-Nominal:threads=6elapsed=6.915cpu=19.896gc=0.896factor=2.887zXZִF! m]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAFgվ_\×׾HF+;$l G/nXG/r^՞:8 HS7޾1^ J:i;3a8k&pi>U8 "B~q׃aaʕlV2 yKxbčN(Ctn]jEH11~l.cuNʂ]L8mhǵjn5LV~ИE'D {oЦԭi7#5g5,F þ`u$7"o`UO'> ޻@Sd;w\ggYZ7zXZִF! ]ŗXiɟ1˦r.Hil c`1X14,kwlHPU+st#!$c)^mK8az*ҕ-9 =CCӞSh!$V%gwAEQ K|ŚgYZ7zXZִF! )]ŗXi%Lk5ll@^Vkc[G~521^_kXj减^Jkȴێ%єl]Ypf2#oAB>8kt~*e8ram ys 8ryf.+M08 $Kؐ{Z{s`d匘`SH/oVyWZx4:)58fH{4A2fxݮ*V/-–3bE|\1s,-";WMlǒ·lN6@,cf䄧? ŗjhp2r0ru:5$:6vMZ_w/Vh|rJ]LQI+s`,10?-Gx[K㿊=68EyAj?n˥TRW]G jpAxK0D_cx}WB ~$pQ 'H6DDPԄ{\pk]֤d8dBܵ% ~-.͈Cb8F[NYgkO'QsuFvPR(:˻.GnO;4Mܥ̰HC2 +v/ .S̱gYZ2abc0eadbc9e680f80cbd6ac99dbe5728025178f965db9a9fb2cc4fdb5e5b9afd24f7a9ca9aaf978 09960ff509b80e2828bc02044118a5145e571ed1aa43f6ef68e79d3085d5c70bd7de9e42935e9b8d # HOL-Nominal