SQLite format 3 @ . B B h77otableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ~ ~ 34Tl ]S]Applicative_Lifting:threads=2elapsed=31.927cpu=53.732gc=3.428factor=1.687zXZ ִF ! :] ŗXf1-/6vRZ]^IuL` l^ϚW hxk$_I^H1c{A^m[s0ܦ(%;F`_M*B/l@7%lkVj sǗqG.P $.:(j_ Q.5&mvVW$Aύ=YoyXݲL0QBֺK#BaܻۭiKi93ʪ*٪:(A fNL)\JY8Kݵ'xI t%iY~}%k4x?I?և [O!9y bKSE ߪiPs*+IM"(Sט