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  } }-tl ]/ General-Triangle:threads=4elapsed=0.591cpu=1.432gc=0.000factor=2.427zXZִF! t]ŗXf[&CKH|CG^ӥ#CƗ·*]~H;Wk"5a*/V~X.#)V=;ͯ}eʕ8,4]z`J@'ϠU~;gYZ7zXZִF! TG]ŗXiɟX/ZwowUrO g }v`Ƒe$ /1j4?Ǹ371mncU4(Wu}YZ7zXZִF! /]ŗXi%Eb⬘@lR퇞gv S[h.Y`@2d 2Jby +؟n/AyGJ>J"N=J$1~ZM*F6sS,(nOSnR 8ћ"{@(Mǥ܉Rj6#6um[z.P_X M,gkPQccqg@Օ,?4v=Zd݀rSQ Wtz cl}Vԣ.j%]ۓ»oFآ܈#bN|0%(fy*~Ύ.~0"(ƿ ^ N/<93Ldϥ/lƥIR;v7,ke$pDpn}0&eS 'Jf1zHlR (%2j|@CPDJ= 1u],jw/$u7x$cr;5&D.sIpYb!U6Tx-^:5Ij#֚P*+gYZe8615c5be097657d691383c4f7cff911e8f8754287d722a51b70602a06e4a7b7d793ad6a8bd08e87 b7feff3cf6fa551286ad5206b08f8a4505f29591 - General-Triangle