SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 ``1 D\ Y/ Concurrent_Ref_Alg:threads=2elapsed=11.708cpu=20.532gc=0.372factor=1.757zXZִF! 2]ŗXf1-/6vRZy-`;TS h|`f$ 1U׬DdJQd)wPڇLG[|@ +OE<́1} һ6MqˠĈT9\nz4h0Kyr=Ot]! |}Mxd .cķkL9z`֗3y s[ԧ[T/قʐZHk d,T. "߬Mf$T$Oы(>EuZq