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 R1 t ]/ RefinementReactive:threads=2elapsed=16.345cpu=21.840gc=0.376factor=1.347zXZִF! %1]ŗXf1-/6vR[O!vpa'tAl0ׂs,G!`ztԓg..  , %1KlC@IoXYKJT^ۊgY %P:? "73|9S<%kr!9j1!k 2%D-Fr3P:d#A/] f:-'0CkМPlT8=J΋3BD i͢ATXrΘԒȌVW0YϘKyn$(.l 3ͻEFƆcJtncJF.RYQ:[ Y[񌾒+ g~k3nhEK9lЗO+Tz@v cdž.w`v#}_CwDŽy"?::c, 7P&|Z p"jJD5hnJNeZ; \9Jj/,&9uaH 2EZ O7>.lZ]b?ϬtIw/\.`z]\L -es⭕cg@/RI+G[\r෌<0A02{4z5l}H[đք޾K1Rw'/4p ]Y.g ^f Ԃ|OA5"Zs`paS IH󏥍 ilʌj[i|w Yx<\w ;e@QtRVd_ j9vԊS? ²۱gYZ55157f8a15e0cecdfd98010f6dfb605ad32030bc1e0d760b8dcc7a202ccf9e071ca177b2d6e00047 82ffab2c85e2c69d04d032ee5f468652fc7921e8 1 RefinementReactive