SQLite format 3@ . YYQ77Atableisabelle_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, "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  )%4$ %S ShortestPath:threads=2elapsed=5.639cpu=8.304gc=0.200factor=1.477zXZִF! ]ŗXf1-/6vR[]u_4(މ׆IdƱ^x?svb,mPyN;V= wCfJʿ^m3+#)ϘٰuFG䰂R_MY\~c;ql+ Hا3h'nr_ N:~f9U!ey]iR^`ܤ-dY?mmUvv]J=+'gdYE҂ub":A*.⌲Fyv_8 i5W m#u?wW)Ko."v*?[ɗ2H[nnjԙ*؇ɴtZ=1E3@ĨLvdeQ-֘WDPA 1}&Y1OM^͋kZܗbX5AjKFD$;odJ7cjZ'<<tb# }*R},;Vb>Nb3wP`d3!^u&iIߊp;>-겂FNU4R[p+ۃyǠн _\ȪU.a+sׁg8+'jgw.#:ƋK6#桩e|a~ %#΢³ v_@ =K)/Cs X?TfK[j(Jv5w@(t|;TS2MJĤ$kʗyO=?f=x72ESyȱgYZ0530e01efbfe11f4d22129dd4c983c02e314c01c 3a175b1a8dc44c8164166d00434b4da542476bc5 5935aa2ad6ef9773f5d9a3140f425bda57dab635 b6d83be0f53a939940d46d706453df7d8741309a c21b841c8eeba16596f5407b3ee896b55ddf4073f0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24 98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1 376a2625d937801cbb500f9ab2435f34fb3e751b % ShortestPath