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  ) )T1t$ S/ Roy_Floyd_Warshall:threads=2elapsed=0.596cpu=0.916gc=0.000factor=1.547zXZִF! r]ŗXf1-/6vR[OqN>>3 w cWb>Iu3D )Fl}ӔXM1ed̃GK;O{~Z;Ak;gYZ7zXZִF! f]ŗXi%6#y,+?~;/VSQԆd?*8+I""6o畔3UC77L@ j.fc1}ΚsK1b<-(05a_"Na(ډ_gb43z+\4)fo.UE- P[ yT;8w0ӏ0f{&~:_{Ox {8 QD93,洤k0P27I0t]d^?" Ӥ$*G/aj ?_/s_?nt/N7>,F/^E01d .@ɦj˯t|p)CӨٺ!̄j(܁~b_͛"gYZ2f1689c53fab24c95a5b352f1f1c14ead975e828 3987c383c6bb95781285734e4c2eb09cab53af10 80b97340157f3240891e23e6a3a1b4a1760974d8 abc9fa99aac49ae65306b50d3de628d9fb5ec3a8f0df918d4045ad6c60b23213b65e87e41842eac3 2ab5e6cf7f6e687da873dcfeefe3198ae54a3c71 1 Roy_Floyd_Warshall