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  1 l ]/ Tree_Decomposition:threads=2elapsed=7.758cpu=13.220gc=0.324factor=1.707zXZִF! hF]ŗXf1-/6vR[lN.5ZoT#80g- JzA|qPeĆ \^鞳zcrXXFwE'.%L >o'qTH2H*z&0,b[ .¸crߎE\2ҫd46+}\̧[˭ME(MG BR|rmI6o ?ޡfHr"6AFJ"*8˲AU2ٚf ~~?L~$sOͪ_\xQ؃Q*HUgYZ7zXZִF! 11o]ŗXi%60n֑ &cT~R-5$܅ BD&Or4o%擀-UGe'H(ndx'kNuQFG+Ά]f7-]iΉk+Y좏wQ |b6\Vx[#{2X..db;pFZS|][]Ksbm'0-΅׀_