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  A'l4\ ]/ HOL-Proofs-ex:threads=4elapsed=0.835cpu=1.512gc=0.000factor=1.817zXZִF! p]ŗXf1-q恈ܗ`(IP-̺|"~:.LZ^`Y P,l~v|tJ3%``!N3J兘;K,_+w^ BgYZ7zXZִF! :]ŗXiɟ11c4I}y;}a\Fv-=;BI'1aɞn5 K{T@vfx:5㯷q<>~ Bg'(DZ}@D7hqN 6=edt=DM }-gYZ7zXZִF! ]ŗXi%I oNM'Lwc@K3l<{5`-xNH_%,+q2BJ5/^Tx'7e_ݗ)ԡ?-&pyr4bB<5cBWl&@;om?8V f?A Ǜ>nF5 UAW^yFO,IecDTħb~&ږb"/KFK ST~7%MڡDI.MP\lCW=l\mlѡXZM~R 5Dr\G!z'*WhZV f!qa(B@Sy։d\luq E\S?V0go7V}E#g>`X`"~^{gYZab7b94251dabf1053cd41acb27da307f205de9ec5a3b6f7b3e61510e7fd7048ff8c15610e20e90db 09d1b0b24e46acc831098f9cb0ca9d1ecbcb2d26 ' HOL-Proofs-ex