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  # | T ]]HOL-Nominal:threads=2elapsed=7.331cpu=13.224gc=0.644factor=1.807zXZִF! /]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|˯y郠FJ` bjV,6d6U.vC@v1,W.|G$]xyvi@88nK sb|HzfTޥrϋhq?-WImaOkؖ'Pb<%M(tM}R_uZt]8־..[3xr9Sc9JTb|w {uMy 9)ȤZX&.M} h2&0%?nS*T}rۆ@ʱԲ3_"D9~N:V?6"|Do-E|P->n' j9Uc_T kz%./f@_=8_EIe/ާlžE5RIiH"Մ,E'`_@eY]s@G -H 3#J}R xFFqKgYZde5ecc9df4a1f7baa7883fe3180ecf73b99e8eb19b4902f8e8c2cff8739e12b432b794bca1b63c5f bd7d4d62ea14622c8855a61e25906a49ea079dab 3c21f91ac9ef449f50201c922fc6e9cbb3a20685c0f0989e7ba74fd5d6854808fcce9a70fc0be8d4 # HOL-Nominal