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,-dT ]/ General-Triangle:threads=4elapsed=0.491cpu=1.204gc=0.000factor=2.457zXZִF! "k]ŗXf[&CKH|CG^ӥ#CƗ·+SƗQ_F3kwRڙwa0z\=N@g@C~xgnT:ڡgYZ7zXZִF! TG]ŗXiɟX/ZwowUrO g }v`Ƒe4>$&ރ럇4a,zxlXzi:cU4(Wu}YZ7zXZִF! c]ŗXi%L ;qw:]T60;Vråy2֘H]a?b `6 oJl8Bg\18.x$iκmH\jG5oy<,ʸn Tg7sjƓH0afkJhav:բP5|$^p < ezPMFf3C(!3ai6j_,sIl|Vn( a4$.`(ar8ȦSoٓ0ՑcBhzsXf j\aNun%cF;cnS`NM) dѠ]csΦ3,lhV)ױg,9fӕP8D7GMئb.FB2;4n^:V:ÿmC2Lm$#e9ǣl2{vZq"wGn; Y`H"pK%pAGc@JwUP[͋(1V] Ndœ5}zgYZf4b6ff18c7690cbc2aefd1c14b85cc983ca2043ed3f90704504dab3f9fc94e3d143d1180eb260c4a 27638859d3581338a14773da3f5cd45c4e2a6773 - General-Triangle