SQLite format 3@ . BBh77otableisabelle_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   |-4$ ]/ General-Triangle:threads=2elapsed=0.608cpu=0.956gc=0.000factor=1.577zXZִF! eX]ŗXf1-/6vRZwF|"Ţ_1T#s/7ٿZiF\v]N/I>JޥVa.'tf}YZ7zXZִF! TG]ŗXiɟX/ZwowUrO g }v`Ƒe<Xp g"f휨-im\LPWp2"@r, {qJ IDl)0˷{~~=/a/w^\B;c?a%**гCޯ뮾U [HEiC/% 3V^2 j S,p HUn ci`R$}?P-˱^Ym;Rvif vi0!O^L$ޜ@\!ELP݆ S)~gYZ3c7a362e6406f62126dee99bb704c486a89372a402339f27a0d9de61901914e2709fdac8350d3cd8 7fb9b098cdf9ef9042e54a79f154a8576f8ad951 - General-Triangle