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  5|| ]% Lehmer:threads=4elapsed=1.064cpu=2.536gc=0.000factor=2.387zXZִF! u]ŗXf[& Z*R =$5EZ1~P6 k11޽ jঘ$b ܖ9>]BEU~-L;@gYZ7zXZִF! A;]ŗXiɟIPDOB`7"cpAAf?kH@%0)WB^M}YZ7zXZִF! Az]ŗXi%BjqeP?z6 '=3:챕eV!eī_7|ybG૤%M+5Þ3n?^ם4ȄG)M&AF~ 'D욗k cqh"uۤ76Fg3#dz2x*amf_!/&D=hιmz7FU7nO>|W` A1 E_WNׇ=l%d^Jym10aZ~?`s n-e$3,kYC2/_Cg8b_++}wDmߩx㍣`Q:<~?.ZgݾL:o˛-& Fh! ~ؓ(B%qWp ܍wx^剖r~_NJ EVbZHLV}bgJЉK*jHF9Aװ'Ř,K#&Vh q ɸ襪튭ŮGl|k* BI;3tDOXE{ݒPv[|]0m8gYZ6497c394ac0fa8e9d0f58a0babc3d2b6f2d24f113853cc710de37a8d8ae8e2ce10739760530fc782 24be91445dfd95ccebd8630650aef4cacbc92e8b 19cc2c37b59cd619e8d5c50b1c9e3eeada232480 5522f74f6abb7699e3a05bfbe34b90d5ea35222e 5a132e6187f44b770f7ea4955f227ebb7226de52   Lehmer