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  PT| S CofGroups:threads=2elapsed=0.954cpu=1.468gc=0.000factor=1.547zXZִF! ,]ŗXf1-/6vRZyѝ6lAZF=/Ob~#;?\=~AUןLgLõz*uL\M?QUd1eu:8bs K%-SfB aamP|1Uh~5`{bqyVģ”igYZ7zXZִF! ]ŗXi% ] (2'-  R2Ũc gY|bk'Ox 4΋$޶o{kD\@y6{g߾F0Ng"!\3 (fi,derIɯ-e4z]xy-\$mY uCr+H5Uaܬ*uL,a,BbKQ;ͥL.0ؗ_npG_%ކDVq$Y%{U :tl ;;{sD &]WV=ZqpqNyGhYX@B*T$q :HˢuӜ& b1Gw> X[_L UxXd$j Ҏfc>j7~wsUhB +>ȸȹ댮 WgYZ98298820f5c32140f876fe6637eb6fde891df183 b7d5e280188405bf11e0698ab849c52149c7ee84 cbba3f6a3270e6da397b9fa1f9d8f5ed732b249b d174eba2e2af1cc41893c051ef544ce05c6ab8c69711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4 a1d4e989ad1a700e9d30ddaf5afc0202077fceef   CofGroups