SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ;Dd S CofGroups:threads=2elapsed=0.903cpu=1.468gc=0.000factor=1.637zXZִF!   CofGroups )]ŗXf1-/6vRZyѝ6lAZF=/Ob~#;?\=~AUןLgLõz*uL\M?QUd1eu:8ZGȑ gawY(SꗋٸMu?֎TќG6@|*.푱gYZ7zXZִF! ]ŗXi%!>!$W(|3) g$}Y!ؼǏh[Mם9]dR1vub5e;y7⹄SOh%ͽbPΌrƎcYҾh?+6]'v#Z Y! R7 8뿨OymmoDcC]r2^dž`Rl@*J_CG(4 e=x’dd'1GmbZU60`;J 7^0S|;\NRf}BMUgTZq%^= 0OtgYZ98298820f5c32140f876fe6637eb6fde891df183 b7d5e280188405bf11e0698ab849c52149c7ee84 cbba3f6a3270e6da397b9fa1f9d8f5ed732b249b d174eba2e2af1cc41893c051ef544ce05c6ab8c607addc2441fed9b50c84968593d4ab6a353bb724 8db62e28615d4e139a28fa3d5b23cc3a3410b988 2c8670420f1e217147d01cec9bd2eec9fdce3aa3