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 H% %S ShortestPath:threads=2elapsed=4.594cpu=6.792gc=0.148factor=1.487zXZִF!  {]ŗXf1-/6vR[]u_4(މ׆IdƱ^v3 ƣ39=}gmǭWtSە:@uy4vP Ooz.'D 3H( 83ן {THH fwc=~,CNXXАt8V`<"ə"oW 爒EX:IrSWj0(zK ۬ ia΋.Oe(׊;Ph5.R\lUNB(>WI_ߤBA3^s %`Zy ⁴K)<Ŕs×W54fXqJf)Od } MD!Z]6b1އ 3r9 ^.mCrM= ɆBW)Cy,n'8ɹw)#U11ʠ6iQO@7$戍 SwX#^AMDb3 EwjВ:)0 RC:WѼjQmLD?k97 +R,gxk<~(ŐW$\ / 5e$]m464gYZ7zXZִF! C]ŗXi%SV? % ShortestPathYK '¦KꌩGWڔje 71%Z 'dp)