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   l-4 ]/ General-Triangle:threads=2elapsed=0.568cpu=0.900gc=0.000factor=1.587zXZִF! eX]ŗXf1-/6vRZwF|"Ţ_1T#s/7ٿZiF\v]N/I^.a#ntf}YZ7zXZִF! TF]ŗXiɟX/ZwowUrO g }v`Ƒe4[ /1CЖI^WN$]MbUuLl}YZ7zXZִF! @]ŗXi%924PASY_8vhfp˞a6'$LRhZR/!J {sZ)vU'Uc&Fo a5?R.{]E.,o)^vM*6o'"N˂T)sގ2¦C @iko}-SML-bZe8#-348YdHmnY(gQ }]r_64杳Vx@PUS`־jӑݪtHaO.ZELCZ^4띞e4E\9pd8 9X Ufh0? m|PJ(MhDP*Wiqѕ:+}xVJ XV5^t'wvL$W-gYZ09034e14be4adb349287f37343b95e43a4dfd4cafa7050467ef8f63fd56cd5cc004bca4176bf5785 29f89a8c8c3de749e3d8f52dbed7d75c52623d3a - General-Triangle