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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  }# l \ ]]HOL-Nominal:threads=2elapsed=6.837cpu=12.316gc=0.740factor=1.807zXZִF! /]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|˯cg>C 8U^\ƣMwԐ:$:'"bT1h].?S1MCy4Ոr:I|ʡ ,| M~mYXʯ8lܒ(QH5mPVTVu=,y_gTs!>ѬL[@ځu^6z4,> O{[gYZ7zXZִF! HD]ŗXiɟ1ʹv)̝gb_ A$J&A,ve;Qkހ=v$`I'{J}YZ7zXZִF! !]ŗXi%>gQ&S`'臭_xHh#_d1w[:o+4Xq)B挖 Er#0?܂NHJugo8<71s)$Ha< 'U|YK8 ][J\N PLar c~A0.C*tI}1Gތr}a.v XN̡Phpq<:y2"KLoxsAQmРG'EYgL_+bP?ƍX OUOZ*V'sal=?1~+!}Rf4730fVڹ (Ȩ&M9UX%89?$.[t_Ǫ&8i)YY{~Pk8uXL* 6C2ȭ w!_Vcc*U?9 'kY#G5]@UӘW^L\3asw9Z GmF 5hM6)۪߳ s3ґ*g=E%HVd'k:$a MOm^*vFJi2eq˜yLQ,uB>Y:8A'>>R(f+zL[b!w`x5ͩmlqf:ϋÃyq"«%y~P3=҄ (MN6JsFJ8 A۷CVgYZ3c7b20491fc9b644eefb97bddf0f250dc33835da02c004c6c9aafa82f15da682e96a689a5860ebc7 eaef017979241d0dca2626b9e34da89976cc0785 d5af628330df81ec4ba77291b4eecc5004486b6ef64b3b58a16725e8c14019661b7925cf418373c5 # HOL-Nominal