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  1lt ]/ Roy_Floyd_Warshall:threads=2elapsed=0.542cpu=0.840gc=0.000factor=1.557zXZִF! p]ŗXf1-/6vR[OqN>>3 w cWb>Iu3D )Fl}ӔXM ^2T3ou%98rJgYZ7zXZִF! YH]ŗXiɟ{߮""N9 SǙ8W!!Zj]ٖMb^Eɑj3gOrdZb}YZ7zXZִF! ]ŗXi%9*]P>Fh}?]C2EN?p>~,'vuMBϡ1k )q*sWKΗ\8Lۗ>jU*ދ.Qr(~)Ovxw+"Cl8'@]MZHT#Uآz![4MC]Ȥ\I* B-'tV]JxCG !s&y}ROiˇ7d2T vFZv=ҀԱg32>R F:1jaʙY ̓T _GܐD`"mX>@З$jAq=E,2OLC LFN(vp9+9!ތ〿h]pMJ. gYZ967948e99d1fe78a6b18a832c1dad71325c87cc0325386da1460dc38f32089d1221024ec932a2181 06bff5eb73bee75606e14d28e9b646bebba8f569 1 Roy_Floyd_Warshall