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 !# $ l ]]HOL-Nominal:threads=6elapsed=6.390cpu=14.632gc=0.956factor=2.297zXZִF! 2 ]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|ˮ3oTTZBtglxL `J|_"fbMC ZdOS82x2 0P:Wdh+M~Gtnv W2"޲\żMleL͟3JtY^ѹJN%;׮OdE`H2gr:`DULQۃ#\7 QgYZ7zXZִF! HD]ŗXiɟ1ʹv)̝gb_ ̕i)zcA-G L n`I'{J}YZ7zXZִF! &]ŗXi%E\w lE/Zf[Q\$Q383 PMA|Ttބ.'ybF_:W]R`% |~CzRM0H<_bشA=ekJ>iDBT*%qF) >O)Z'&\4c 10Z}21s&fx'_sWTɏ-DnŃ%b8wMY :͍:]I9)A^5MGy"կ(M8%?NqB˚)7l]bT۹n>FC%$lH`%8\Vg%THᅂK ^nqɗs;4Qd5 qe}H_u2(|eH$.,$xe(1o9I)ht4:@4z?-i5j'D6kn''<Mě>ѱgYZ184b30ca58575abd7caa91879fe8366f03bb632c670512538733605cb63d45e26f52dda04b891aaf d1cbb794f03f6e7c97845b63a50e90ed33c8e18c f28bad5c171ebb58807c934a7cf754cfb74b4890662363df30fd755f9f05a50683a50c7c1d7b64ec # HOL-Nominal