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  ) 4 wI Floyd_Warshall:threads=2elapsed=24.880cpu=44.420gc=1.704factor=1.797zXZִF! O]ŗXf1-/6vRZrS?rhg!;4  8,a/ʊzmŹå8!C$`G g/ +eu9M:氬-Dv,\ ,ՐU:`jPѵ$#$c"Gw~yxfیk(dgkl%pɞm)73l_ggN1Cu:lF(~sPbT~Oe+N |8rԙfr)6x].(EjL#ڵey׳*5`Untg:1ڋDM,RYj\i瓔~5Tsyi@ 5XXEIQfpg LʮX~L.f\ճ [Vm-a`}] (sҶ쮈ͥ5K!,sibr$e=4YN0V;5h;Y|#Dtӏg?]m{S_Icxk´Fa()sk=BS|ڋR 0.~5wXB0 KJN2ьgYZ7zXZִF! ]ŗXi%+#$YʒwY0\w6uW{q `m&K=^s0J?pcd8byrzhxbZ n]8+Ǐ~*d'K% 0o'Zz7ȉWCk]_R &I=j'n)+1wvbS_/aYFVI1cFd@Ϸ7wׄA?P_O"D;}B.֍Jjbw>l}G֯6Apj2A'uTW8~i;r n"!k7Io=iWb^@UKN~ŇND=%fzӞ7f_H п &m+*;+8v}LQf\2'CuTnMws\q3W3p.H!\ӯB%a )ܢ%H-g{66UađW @&l ҙ]rwx7.vlZBeS$c܉ -ym +NDVk4&AQ35f!\'r߇$`PW ~cf:sE0 2'72{wzv=G@`<~^hvuhsHĠ*k5BkggvY2bZC9-{?^HϷ0~?\P [/j ;BÅTD!zX*>ukk%S5 IP(=%;A'Ci[u~$4pt U7mZHR2tEI/t|ʉ'>vEmkљ"b* '@Sv"9'' ]K3no$m<תyIuPE ĝxAGi.,i$ϝ^ldSgX4Ɖºo'/vj8<%IbpzbIr;.ɃO;7l m! 1mUϬ]mB*te{i%´d ϥeo9-t1&̘w_>ɟ] ٺۜx3 !C^-w[i9]Sߪj} =gYZ1033aa60eda69a17840d1e5c0c0048783e787ea8 37c25b43aad1793f0281b4ef55529966555d5b1f 38fd2b638a988fe6c2325cc9da704d4ec00c4bc7 6a33a4287663136f15fd858b740c2bd53b37f3d6 8cfe2ac6d815ee4b6ba79e3b49e0d29a73ae7a34 d2fa41e5a05f70239177f175014ace5498e628b20ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 0277895c3651fed994efc86b055a3b7e184a45ce fb3a31a8ae97230a6f830adc2d8bfb21594966ca ee31945af302b6c76ef39e0b98cb5dbf5004719c ae78acc8ed058f366abd178bd25483a4f9174e6d 2e3fc46d567c3617bdf1e5994dff3011eb3f5a43 ) Floyd_Warshall