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  U U(%l4 ]S ShortestPath:threads=2elapsed=5.952cpu=8.660gc=0.212factor=1.457zXZִF! 0]ŗXf1-/6vR[]u_4(މ׆IdƱ^v3 ƣ39=}gmǭWtRlb3jmOŻ>̇TT?L(|byԼ?f4+(M7lR=|UYsd.sm rkZZ'.DSedwJ;@;s"Qt-0}V2rsÑRB3FX>OF#l4}*, VgЎf~qA sx$`5c*%`{@M~y{gYZ7zXZִF! %S]ŗXi%6{m/ vMb t w#ƭ;}qˬ_/ek>)fԏ(;S`NTeM2*y0eR TbD %>'ΊFW9u'U3RV{QgVBNIudGػd0O8F5]* ¢kֶ"ncrGS3&J:1eٹ $vܬ L>R17ߖ94 b!տp3yuY@3~7F_@Wm{i,6ɶjĿ#)SVB +>7y(51oX%ֲUACFBBV1*k]%`SlA'̛,8O/]oA:ә=ѵ rE:xVé?b[N`a)bc s[b"&OZ@yރIi)L[5MFc̵l q!Pu os; ㄎuC 雱~yol}ӻ1 ulZJV^r [{n&wz h=+b[Gw?)2Q㊡52 ]:=.Ϳe;r7q5 KxY(Jou%! BBjn;OѵK=SoVOjp`6&8f-xPu].!/עa:$|i"JgYZ132624076c1ebaeb9d03e95e6e30b6236a2e7b7f72476e49faf5ae81b565cd9a808c77e6c79a7cd3 1847274f423d78a61f6a5c9cd14f9851aa9995d5 8e5e5d5cfa70858ff1895eb50ef8214eb9d9ec28 33e208ebf3682dbdda52be5c3e34e0751e04c2e4 % ShortestPath