SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 00M) < , ]I Floyd_Warshall:threads=2elapsed=21.873cpu=38.844gc=1.328factor=1.787zXZִF! X]ŗXf1-/6vRZrS?rhg!;4  8,a/hqP4EWl ՜]lĎwR>H TN~0NF ͕ o9 X&l@qC 2DFYS 6ʚ|$z<,{] ۵iv8M2#t -ZQ5C@-)0d`W8TafĪZrWBf"ADFOy؆"%( <3 i`(a ן-"hfpJ5E?BΝ `7{5nl6Cv@ ]`'αb\&%=1YY}n>+ωhA}:\X.8VOI&B{Fxs|`̇WvnQu6!cAq5@3d¶5 qm˄Q,jlP4 t:+ݨ.-4#gYZ7zXZִF! ]ŗXiɟ$OLO+&%ZĆ.Gf?ܐi;٪M+'f8aWonξÖzb CiO?<,D4`>z{ waC$?ZSh: K`VKӱ|o⎱gYZ7zXZִF! x]ŗXi%;4byFq$-1! PN{"{%-TH~l\$r6V6X ²K=<9Gz4Nj^+yDI|乇!FA,:o t]Kpd͍PB) @?I}OLQUB*,CT(ӈg>CdS ٮ9Zٕw=skQ(vp FxW鿞#ɛSϋYBUtGjpmd2=$Y)P=]l(.|x53-"ݳ5kxrb܄ֲ;(^y{zӝ%t/7/v<2dyDk7gB~Gni _q߭sszSii#dNygzɱC"i4D O7Z\:ŋ|Gѣ~JI|q-s`|ʐl1/΁:}$|ͬ.WP_B"ōζahd=oY G1AgYZ145f5294e199b9bc71ce68c2a0f92a3241e767a5665af98eb5b604629a3a80f1bd6c88145ac43a21 5144ebd7f8a7159ba53f7601bdcfe133b83a40ee 8224ce1eb95b7c9d3c0729d27185b853d3e80e88 d4ab5babf967a88f8233a72a7b7ac40b5e7805a0 35eeb98ddb24bd19e8b3360c7e2244b48572f1e9 0153f3ca08a7d02a69518a26eff043c2a774d3f1 a3726e3b24d37ae962ff3f5eb0ff65bd84192548 ) Floyd_Warshall