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   y# ,  ]]HOL-Nominal:threads=6elapsed=5.902cpu=13.912gc=0.712factor=2.367zXZִF! ]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|˯?AГu:s&|:ǵ+{edAZo954 iR{/=ͳOwg)a$b߱Q GH'-P~ւI^%;%+-$ /SHڅL3x|!i+&/HieJ7+2h !ҚbYqom5Тx~A-\8+D [DdgYZ7zXZִF! HC]ŗXiɟ1ʹv)̝gb_ Îb hxB\@r!f4`L7̆CgAw_I }YZ7zXZִF! ]ŗXi%>om ]];xDp3{\a69G]R4dkj5 =h*TXݼ9+s9›`]P Yasrzzۥ(iEŶ'dh$O` NqR7åXlr#l%j {!F*!=Bg 9ǿEC)FIV(9{DSJ .ipӍm:hAMtb\ LbTSg')}woJoVa 9g+\m^qNL6;''yynCJ /̀zMNZ̶I1R/j1'LԐn_!@Up'2V9 oN"[97hsn ؝&u|BIN-_{ :ok-#NoYdzU|h֕0d._A .'3YH4=-Mb^[LA0`/_wxl?n5@rOQX̂>h?4/j<rڿuG(22xq]Iy1(K1YF-j [1?⺯; 3B,kfAI /mVah9Vʈ@9FgYZc35b19688071d7e4271115e11ca3b415c0358e88dfb2cff39355450cfd9a38d0868c45c739868d18 7c72e15715919641b0ffd3d741f84942d786d5cb e277d9715692c228eb3bbaf9aeb5789a062411aa7200e48616d6252af8e1175cd8f9c292f728f0ae # HOL-Nominal