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 M%t, %S ShortestPath:threads=2elapsed=4.705cpu=6.992gc=0.236factor=1.497zXZִF! t]ŗXf1-/6vR[]u_4(މ׆IdƱ^v3 ƣ39=}gmǭWtۄf$!vфMH˯_cr+8l=s2֐9ܧ>; ^>m'VWǾjHzIM,s7 y!9Q&C&]gg?iSy*čua 2 ĵCWF8'S.'CQ$5-mR{? ctdFoSP$U>'ˣ+ >JCr ôȫU*Yr;=x [q:@1x wQ*_*0hhDһ&i% wݺ"(<)z;%U,FLhުX1 \ƪp]Y]ُK'!YSՁ̡VzV4e:QS|gWgP_sra'q"u[T)߸:#  ^ 7~m>i>hCii ;+ mÁQ}ܤmTz֪)2;^Iq5K.HT"9%3t!FXggu(e7?igԊ l De20y}!UЇ|hQdXuP`G;ǭj_Y}5rfrwxOƾj y81(Эv^,m_وAfB.3Mh[i>+;Cyd)^Rg@gS\̓N8u˂\!UNyx3JaۥID)xge :T=54Wv5 `<nugYZ0530e01efbfe11f4d22129dd4c983c02e314c01c 5935aa2ad6ef9773f5d9a3140f425bda57dab635 85b4d40688fb795cc1f4cb9290d7593a2f3434f8 c21b841c8eeba16596f5407b3ee896b55ddf4073 dc93f795980026f293cc51bb7cb4dbd08423edb2c7c621c8c679c6f81c939be460dee2fbe4c459ff d97c8eeab5366846f6d9647d2a5501999e294803 ca57ef1b446e14ab305bac96ebb43b476d3520da 25a282dcd6aabf6590eba5dc6067d9f4829043a0 % ShortestPath