SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 m) d< ]I Floyd_Warshall:threads=4elapsed=15.354cpu=50.024gc=1.020factor=3.267zXZִF! 5]ŗXf[&B['dP-ʖ}-TFgI嫇aȸ92xEv1@iA/b?p?,'qmBOHah2a5~7l@)jğEJ8DUH04{{혖Deib3p;.x>7bYu~ ISt _BȀ]kVI3 ֍Q3QI&o}2"M'`f$B[L10gflr9R(fKN'H̀?ʕOn5H6\:Ua'r豝WRC} kV.HWҟ^Of[h?UMwPd|^vSc`溓G"9!RWޝp g Z Bu$!k!J%aхk(E=nWԹ0N65zn2>[0hE\U@fP0X%l W2a#`|e*{A#X)qYm÷RԽkR%Gd%m&HZNqRd?# w32*fyS1}f۝jyHY-M#5PD/#ZU-*RI?LS%r5 qr c<(;^] 3 Y 2Pd)FHLXmFNg25{4}mIu#oxԐ =eѶDɟ jI`X%8M4DIx>~N?.wLkY&yCV,B!I`>*%84S##>4cQ֜o$`O-r w>#^ ѵ6`6Ye$ye Ra|wNZAкh;n/bP_f-LT],&j @־chʎDקj6V 3E婧x Su\ZnG@mffi!7@\Yka ?̚P=VW #9F_KQQ 07{F.wjǁ~iX؀#55A[7Y]T9 ^ЮUҾD4.ѡ4nA2͡J? 2@N:3WpAX-z@ԥ "fB`BWSl}R XJ E4 jZ>ŔaoLnU$)[8ے"?$K^~~vL7'!l=7]jW$+i) ùΞʎuѓ ,bޣuݯY}{5BFUX8~fm6291n ^T ]Fot͙m~) .v)uK;m]M d ߽R?6H+=B#YӧIXT>=ǹtjisYI@l xa *37\,6L`UoZvHDav*[ao٢<sTLgYZf015d4c7e9c5687113d9617b51d967884d7917c2d3f90704504dab3f9fc94e3d143d1180eb260c4a 05a03eacc3059078cac786ce4b0187a596b54f20 44b1b4c389fe399429766fcbfebcddd5c6bb6f71 a3ef839f7cdc89fde65cd6ebab99085708e3b702 8f6ffae4e5784e187d6b8340e1d08bbd9896184f e4177b838672e1ee42dc1847dd3a12b2ec9b9d1d 0279d20ca53268b501790d9435ce312070f4be24 ) Floyd_Warshall