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  x-dl ]/ General-Triangle:threads=4elapsed=0.504cpu=1.216gc=0.000factor=2.417zXZִF! "k]ŗXf[&CKH|CG^ӥ#CƗ·+SƗQ_F3kwRڙwa:t:*HtMp{T/BZ CڡgYZ7zXZִF! TG]ŗXiɟX/ZwowUrO g }v`Ƒe,G $p Pjyk=Tى\7o_cU4(Wu}YZ7zXZִF! /]ŗXi%I o;]SjcEYq $k! NnMG]Fr=g|'B3 ^l[}9ťG0U9DHmfhI&+V%4D wM&::.}CeDnti/O#b)D`TAr:bǁ*ΜLosP#R @5fOu[TuN 6V 35ԳdC_or܇[SBg TNLa&E+8 ǔi7+ZemeU~&Vkf{O]F(a^Uo`4JhDk=TD6f 6oB-t 2_i`?tsðRSVy!вA4 )@&E8G޿VYˮJ!_.ɷֵArQzcn6PHL'N_v$.UqRd:OyPg3&g|"}+^ z"9pŤ@:{W9K.bJ+5,gYZcc2deccd5a590788aece2d56e663c35879828c805a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22 - General-Triangle