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 ``) t ]I Floyd_Warshall:threads=2elapsed=21.941cpu=38.392gc=1.176factor=1.757zXZִF! T}]ŗXf1-/6vRZrS?rhg!;4  8,a/hqP4EWl ՜](Q}fcܙ_#̽)y1%yƻܡk"\7L2c2CM U]t}􂉜ywX5bZy{ k{[ c =N{e ϳذgnW)ၡq+IμAop٠[Wv5fپ{mvݨ6X|,pe=M2$1+&*y\\ciFF=U؜ee#LM#ed`[*&9牔’{hCa'Jjgh.N(QCb:S %Q6.psIϬf*QԼ&Y qńH4 d`[0|EAmȃ@SObC :qpascT#/\M Rf$MY A!-j|zEzJu/)$,Eo{gQ-rծ|8NkjwX.g>gYZ7zXZִF! ]ŗXiɟ$OLO+&%ZĆ.Gf?ܐi;٪jQ8`w]4HGpy? 7p8$&^vڲՓ܅l+zmX1 ShټEgYZ7zXZִF! x(2]ŗXi%ή++6g.nMxҹwևC՗xY8s5jc~y}֕Z Uۘ(Np)3@MD 1[zTU6yOưңlHǗK(y/"'h[X5AowAH|Q\-nH>@ii!`6 A哹!'$|ɪ O},:"=B%*]T ^Ah_:@$ڿ?EfZs&JDFb|~jYrSS:[@%ZAX5>Q ,PZ?#Ln"993CF&3?pzVH$|+z4$F5ruB3 bc+tab,qpl7)de x IL[-wz @jSُH$fL&sgz".0uaT?u.:kρ^2P1L3ȁͪ#O f&mz4lEZAS֑xb4F>L->ASx;a(9;mzE9$I!c9HՎl,/|j)N7pNoW $k|D2M*@ZO*.v};C gHE8fqnē;Oh~[/\)v^CfFW@/!-,ǭH_=hNFyӟا)4\i̐z8ʭyOָl2xZ\[tƬsjPJKx[ 7*R}4C.P*2BPur_dIQ!JW64jf `|.yiHZM  J v%d)Qk)Y x9զg#%W6aIJAٯ` RiXQ-z| _YUBSy|f7&+$/Ct+8BfpçY+-#)%m㽡מ^A7@0`fI9GA:lk6gȹsWL97|㬢*( ۤW@;'XUm}J+G Z ['lPNVwng[