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  Q Q,-tD ]/ General-Triangle:threads=4elapsed=0.612cpu=1.444gc=0.000factor=2.367zXZִF! t]ŗXf[&CKH|CG^ӥ#CƗ·*]~H;Wk"5a*/V~h:"8`/eӰѣ_Z(uz~;gYZ7zXZִF! TG]ŗXiɟX/ZwowUrO g }v`Ƒe47&ރW2W(C6C%vcU4(Wu}YZ7zXZִF! 0[]ŗXi%L S>IHpePm"U//S8[m$+^w*4 cx]Mk6ELc~fB8>X2I)2MoX0|y`{8X MR,YäKҬdd]NJ-Ѐ?&jnsȑu -h[8xIH ˟&VLTWLS4?[\Lc"|h$>l*h8Ǜ "Bꊠ8BU;ՙ܅O>Bg ܞ Ozu~$Ӏ%NDOQR4'`,gH\yE O0&Y4 3s"$d{B,aAI5mXJdK' LpSV0>Ϗ[syDyls+&xl)hdIMnL?pӾHqLk[PCJZ,UF[`lx!ZOV;#/MPzz|1iW(Nh#xm.>ȮkB^.JlTT/5Z؆L;\J P `L1 y#Ҏ0ӗ翱gYZa96d2d6e64780361876276aec24a77f773051657d3f90704504dab3f9fc94e3d143d1180eb260c4a 05a03eacc3059078cac786ce4b0187a596b54f20 - General-Triangle