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  ' 'V%D< ]S ShortestPath:threads=2elapsed=4.391cpu=6.176gc=0.284factor=1.417zXZִF! s]ŗXf1-/6vR[]u_4(މ׆IdƱ^x?svb,mPyN;V=:K4J{~e1 渦ddRpeMva֡"dRy~F-yߚ7.4)s܏zfOHcvgS-j֏ɀouB{ާ ȿ>e}U5r+*xl=Z 3 qgYZ7zXZִF! X]ŗXiɟvף" \~k5nPZ4YAĬƼ=x XЉL}I9m7+(U8OPGCtL gYZ7zXZִF! %;]ŗXi%;RU@{31 _3o3f'woc7q{ y9n&|8|P{ %}<v\g5KɱěMk}'#J[E3Naۯz|I_p$ tӨ5$5N+Fyӡn(x&*0ıW\RaTϰULx%/L޶퇖_=3!vn;}To)%?t+u^\'3>{9,$-c+? 5 -Q2}Q7_2 2e.c;U 3?~@$s>wˈlҶ h<涒_i)*L bjƷ6Y}Df^{sdX28%RxJ$0L$`J'.gYZ75ddea0bd64940a26d602f43cca1ad3319ae191879d8e835726df87c7b301a8f091eddccadfabbca 5aed350afdc15f56ad5b986907a91213f8d8b65d ad6d44f7aedb014e340bd82c93157922e7ad3f04 02b109aa4b50e3c461fc324f9029089af19cdd89 % ShortestPath