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  'l, ]/ HOL-Proofs-ex:threads=4elapsed=0.854cpu=1.604gc=0.000factor=1.887zXZִF! p]ŗXf1-q恈ܗ`(IP-̺|"~:.LZ]) a*M)p" Oq5\sbe3δBgYZ7zXZִF! 5]ŗXiɟ11c4I}y;}a\Fv-=;D̡&x+ߧg('[LnK)#cWW^:ZPIéPqzV9LE\,~ _%Ot#1H /}gYZ7zXZִF! b]ŗXi%L S3xgi_y"Ņg181wx* +p$)+ur9N_p H.uDQuCwjtxihKUO29S[ -ey5J1rDpT"S⣘ORiENJD)j ,[qZgQ*)&&qT N֏@,l CkLu;=͜i۟=F˻G 2+W%n!]k"4SYb^#$: 5䐡Vc^/ɔ zPm aUZ!375Z2 ߥ%yiu4g̕ d ӂuj]p^XI g ԴTgYZ1d99948cbc18e5c0a032ff338de228fdd008d439d3f90704504dab3f9fc94e3d143d1180eb260c4a 852e74d0a8d92c23f555c27b937e9dbdf4cf5ca7 ' HOL-Proofs-ex