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 ) , I/ FileRefinement:threads=2elapsed=9.319cpu=17.604gc=0.144factor=1.897zXZִF! -r<]ŗXf1-/6vRZc/[؎ V~'0 O*e9{Io̔T/D c+[эXR@UKP|̷:G ) FileRefinementpQO$|;^Rd[A>?dP0 F"lj @F]qI H}d.}tM]nW\9hWW/7]|_lhnXJ/ʌagGW;3nsZiz"5Utt1N"N0*eW'>zôPcϒ4fHxM\=~+q|ڢzlXbVόDp]?N(~kpEan$4Ћba T<p{:'/h|8Es2 /K~3~l/z)_\,3xcU~@䃓2G\|i^{?]}Er eO櫁7{TA52#B6 ^,&'cMIj R< ~!7kivTW:9/8"<<]a^$B[-3*:,m蜈N#u4Q_?IXMkJױgYZ10d3f9caf91557b4e6c4f250e850a2a5687905aa 10ff34f104a3e359c9f489a19debda3269cab2ed 3409c0e045ff2dcd1a56ec68c8830add04dd3737 3a827de45c65a4b9570929b4c7b826e635947b14 88353463e8c9943bc32c0fcef14bd1857e2e8565 9ad482ea1ce287427e91e9b3002c3c384c0bf89f bbf04ad7a97683c0d9b3e3d09e586e5ca645e135b9c0e8f4a3ec48522e3484ee292a510c958aa05f 7e8b43cb6cf3df2a7c6640f5f367906a273b3e9d