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   {  ] CofGroups:threads=2elapsed=0.854cpu=1.408gc=0.000factor=1.657zXZִF! ]ŗXi%6q.T]WJZYXN[ j{5NwAٌz#V譋: QqFИhG, 6QAv ݛӏDL"TRzj*(DŚ D, NMOp9'jz}J"[:{\8Jێ~h$HjZ w|5gQH.rO]>4Loh%*w6Qa0jrl_Zv@=(Tf-gm!@k 3G뎿n) cD R͝_˄X<,ljl\m L- W͹#M J0 ]f_#)4!i$ۂ9{4'c=JUߕaLntNsYoc%gӱgYZ96c9373c4d0cdc2ffe361683e2062db091c188181e0d760b8dcc7a202ccf9e071ca177b2d6e00047 82ffab2c85e2c69d04d032ee5f468652fc7921e8 03989dc119440e078d11e8176c7844190ed072f8   CofGroups