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   i# \ D ]]HOL-Nominal:threads=6elapsed=6.666cpu=14.928gc=0.940factor=2.247zXZִF! /]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|˯fvG*9q ^KHO^J9E7M!V}0y_$jh Xr[-9ˊ"y Lv|S=7Guc@s9[bQlĽh+ʇ\:1)ģ &A "gYZ7zXZִF! HD]ŗXiɟ1ʹv)̝gb_ 4C gcxGN*9ۂUJ,`I'{J}YZ7zXZִF! !P]ŗXi%@j+Ҹ`ni8v}&bOȿ xZ(ᳬsrʄm3 ?('0ߍRnlT<*O$=v}%4ҦbsrU܆*Hw&|TM|YtwBs9#.Z-BVUU>'~(P1"R1 AX~jzMX'e~k@dRhDֆtɰ[ϣێ>D'l ] @iP$kӳJQ EX niNA|Tb g~y7^Y?I+<Jqu{.\5`!,d#AYo+z-U-j_ jRNJ1{]۟F0?d2FYz`e&b'pv8elQT׈o64F,bqI]Og>qȄ y[cXI'|E؆d+tLVV7RGQoi qfzaK4 EOpuCQ/}}JO?E/CQ 舾mqSAWCht8*"!̟ަXAArUӢNQ;ANU v 1|XВyBGgYZ00005564039721135376548eb4be2eb6a9e444145c2e68da34e0be81d09bd6288ca8dae0b78aa71c 82612f1498e7c9bb1a1152f7158cfbdc7a6da82a 3bfa6b63ae4d31eeb46558c0fc8f07e65681a4ea9b7931798cc212b367d7502524e8c2d378523ee7 # HOL-Nominal