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   j1t< ]/ Roy_Floyd_Warshall:threads=2elapsed=0.580cpu=0.904gc=0.000factor=1.567zXZִF! s]ŗXf1-/6vR[OqN>>3 w cWb>Iu3D )Fl}ӔXM1љhy=պo:O>N)[Z ?5>glgYZ7zXZִF! YH]ŗXiɟ{߮""N9 SǙ8W!!ߍ-$hxo?A3pl;KSA dZb}YZ7zXZִF! l]ŗXi%9#q{ގKʓ,ޭ.qOjh\]8WBs!PCXCVQ;>wt;9hIBipbI1ݚ%&?ai{KX9:*tl!M3w|49M-P+zhtLJbPLwt]@ h=slR`cN!<&푣"+EN ^c"cU+-=W auP;M'fvOh[` taꝝۮqu)fx#ӄ5dC)*Yl :tt0UkV aT,c?G 90P0q1Djj GxhTG4ͱKI9gYZa1bba0045d1d617d696a2bdfb72172b8d7f794b18ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a 1 Roy_Floyd_Warshall