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  g t S CofGroups:threads=2elapsed=0.801cpu=1.340gc=0.000factor=1.677zXZִF! ]ŗXi%6uPOQ҂q|Qm47H?ϻc{#C ԩYJPo}A \U:nZA"6&囐a.,qn. j!T>a+~B9Rv ܼ=D^F\q!g.ZTNAe5HuێGȉg۔!ny??s8&G`  QssU|wtw3g["V_7jŕbaKZ =4(IƋӪ\{^f`ػaJH^| B 9"Y;Lg#JY͑~k&=tnd^&g1с/hekXV)B&Tҧ@VB$d3i[sizO:%3T|TBÈIe0/Ы=\egYZ98298820f5c32140f876fe6637eb6fde891df183 b7d5e280188405bf11e0698ab849c52149c7ee84 cbba3f6a3270e6da397b9fa1f9d8f5ed732b249b d174eba2e2af1cc41893c051ef544ce05c6ab8c6e4688efe0911f3c4685119d2413b25847e9bdff2 fd75a6d445e5afaec4d07c698e0e0aad8327d77d df6f77d3cba6fb825ee5fd35d1c789d872ff9d4b   CofGroups