SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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  ~1td ]/ Roy_Floyd_Warshall:threads=2elapsed=0.553cpu=0.852gc=0.000factor=1.547zXZִF! s]ŗXf1-/6vR[OqN>>3 w cWb>Iu3D )Fl}ӔXM1V2Eq#ŕ>]Xn\mY[/hgglgYZ7zXZִF! YH]ŗXiɟ{߮""N9 SǙ8W!!6h\Z#sh2fdZb}YZ7zXZִF! ]ŗXi%93MЈ˄kyprY'_JGeI)lJ~K%oP{ӱW ,ԗW\aA(/erwo7O>"U\vl+铿g̘/)aZ!ݹ+K ΪAnLJO@dXr@{q)xclN9`'a4`E ĆO^bԧ0,ZX~Z湟J/PD"lDr*nݸ Q{(%6ۄV) p"~2Kx/қYJHtuW(=-eMl@VFOޖEJѩ b&'wM~ שxUn!{ad]_"4g yN 8gYZa099d41611be955202f64d5fea5d849608072dd2a86c2421cb3bf965bb7b88ea7ffb63ae19b7c19b 246f6e81708adcf47b424e236c7a30d027d9b852 1 Roy_Floyd_Warshall