SQLite format 3@ .0:  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   y#  , ]]HOL-Nominal:threads=6elapsed=6.236cpu=13.700gc=0.888factor=2.207zXZִF! ]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|ˮ-r@a0:- *P|]`󯗥 ~Lv_+ÆꏶuWW@oid3N/wU=>n4Al,ȪZm^)˘BR܂;|tݷύ` y>|"")^/ o9c-kmnT| <Ki7$3*.9e릴thiTͮ y*kYJw(fn34^h/ Q@j&PwTy"wQ#rn-еͬN-qePt1/zGrԫLu;2v@p;#(q [% ȹdSiqjI](X[2 Onвv# L ^*A1#09j/2'BܽuKvQx'Q)8xԈiG h=h8PህgV+i4}fza < _8Tlxl"D1cL3ׅHuQ e?_9 st\"eU g'{ܖ.S7QBFfz^ގ.ߟUXCG^M$+'裥R- 7`ƺ5N<4Ъk?+;XRt,} fpl/7'B|s0ƭ8L>H{fI?+'/*1ۡڽ9Ժ0@t5(5h6}SFӆfu*3>SVʔ7Y .1<~aB㨬-rS9fH388vN9O#j \x[o4 < (HfHxvJ?No~dch ݡZV6غ~_xGļ^HQ{-eL z jtK(\KϤRE=/X݀+IʊǙQB\sP_VY'bHAgYZ9f5eb9bfcd5e0e06acbd5431f45a4cad15c8143fa8cc758d6ab7fd0d9728cbbe893e534f8f965816 1af3aedcad71efe17b78663b69931936110aab93 34f15badb9a644c12492cc350d37337dd4eb1074f4950b256c21388c22647328ba60d34af7f09a76 # HOL-Nominal