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  b%TD ]S ShortestPath:threads=2elapsed=5.958cpu=8.524gc=0.136factor=1.437zXZִF! _!]ŗXf1-/6vR[]u_4(މ׆IdƱ^x?svb,mPyN;V=!wDL럼eB]4-tr4ls02%  a5O+UtwEDʇPPLW<-6tƛIZa]ȤIZ=gۮ0ֱgYZ7zXZִF! Z]ŗXiɟvף" \~k5ozeKA:ҼZL9^ mB~B8DSLSZN8kנ}vgYZ7zXZִF! %:]ŗXi%9#rq ##ŋ"L5ЙghH>_ ׂQeبX2?8g{Bk a{Gx|[@ʔ9ʏy#.i*)>jHA/&w iI.=""Oxhg syLpƳWzYy.٦1MWZ%l_.>r+-pY|E1 v *ohzcU\(KD;VG" a~Sw,^5xUa^+^K-싢Ȼ- 0]Bps!% R5G3VtQԳo9-&z;{у~Hk%6];6"WOy֚A+TE!dxWuD\Ew^CSx"דϱ:3)gX>oKAuanL[Y,l4`kyv]G2Ug>^t)T O%uc74TR?LP ;ŪBOB}iRMޓ:DwBipd,wJT0gYZfbf825710b6c8d7dbb04669111bf680ebb4f869f8ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a 9dcd22a721fb4d6cb69fff249fad38e4e65ea05c 2d4e514d746fc1abdf6ad0061ba069811965f4bd % ShortestPath