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 q%$D %S ShortestPath:threads=2elapsed=4.705cpu=7.036gc=0.208factor=1.507zXZִF!  ]ŗXf1-/6vR[]u_4(މ׆IdƱ^v3 ƣ39=}gmǭWtSoK5 ϡҺ7^{=,3~p_U}[ b-J]eĤsnJ"RL*mIR)633fp2{Wgٟ f7*0Eg53XƿtQlQ1! kJ1pB2(k$z.20_+M_8 ]u,a?;e%Zu}FRaJu"&4~l2w=$ ? NLRRU(\obA)bɍcg<{g@{0ޡ UCp~7o0tWj4PU=2Qc2pQK 3;ipT?(rO6^%gYZ7zXZִF! ]ŗXi% y&(+PrJWD1VVWzN:VDug7|+ 1eboqO(aNarv{:1oZ) Mu'Xp޴D-E~@*F c3f7iWtAt駦rW#1ut#O<4\"q{LjuZT'h ȸ5 Vw|bۜtǀ y rg%UedW4m55> <-DPKI92əݮƯ["*#Q#7;(BgIB j5>+½-O, --ВJU/X_KP uݓ6 F74>z#M.NI5e8yڄkk82Q<j&ۭ{ԫHg.TΊtsX:ț(2 5s:LGiw2(t&Pf~{&7QwGbHoi7&E[]c6k8/::d{6c=7M9w8aQfL7Vѥ}YӃKdGc/ m:1]f]렘V1TAnձgYZ0530e01efbfe11f4d22129dd4c983c02e314c01c 5935aa2ad6ef9773f5d9a3140f425bda57dab635 85b4d40688fb795cc1f4cb9290d7593a2f3434f8 c21b841c8eeba16596f5407b3ee896b55ddf4073 dc93f795980026f293cc51bb7cb4dbd08423edb29711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4 a1d4e989ad1a700e9d30ddaf5afc0202077fceef b05724f98f0a7d9019ed8eb7dd76f075e09d5caf % ShortestPath