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 y) dT ]I Floyd_Warshall:threads=2elapsed=22.619cpu=39.580gc=1.328factor=1.757zXZִF! k]ŗXf1-/6vRZrS?rhg!;4  8,a/hqP4EWl ՝qܹ>ޢ \lW ~Ɛ .Ʉ!\]ѣŻ a:QsGZ\g-°-Wo::$=HVs;)la0z֧S7.1ja2!6}7;_KASUR1Y'?GȬ6fFlз_+1)E;Zv†=@-^@•?"A! y%ޭvR[@T*VnЊwUʵEOo喅polLN1}1̼7u/SU=`_H1}΅H[uE=]]ɍ?t q˚V@.~?XZF?Ԋ%KZ]y=y /egYZ7zXZִF! ]ŗXiɟ$OLO+&%ZĆ.Gf?ܐi;٪jc LJ, Vqǚ/B/OXY&,޼B(GOkзZgYZ7zXZִF! }]ŗXi%>g rwYEmblVx{6 `BުgV:Փ{&'MZos L[pCE>,;L\;H4w6$&_0lÃ]\[tyIWݮR594[z[{Ճ? "I}o>b`W:8fyT˺YTy"-ĻRPݣL(辥1 (KԐyq$|p=V}S7H"i @^KNQ82skҋ:$=J r|u-txp"~I_:`h~Ą>1EQ|4WG)o(2Z Hyn–[Q,jCO=0ҀKUj9bz ˬv%3eނ^S4Q6m¿KfX{)6x>f9SdeXЅŊG` ƞc}NJF,/@N/Oboܾ16qvc^2@xxQn] S3XHM%ך gm ۵=l!.Mnݤ׵V.cʴ-Q?3d],owdpq%ma^CQ>Th$[„E&GZ xiOxYcu\gz@z+4[{ P?B~]uUO&@c7 $LSk= Pܼ jiWV@)Qx-5{EjU^s@X|o]WYg,hNNy|tB}Q=0B܊~b$ľ" 5,RM=P\-mЉ%JR|+YAkn0 H[y0;j3Y|/NFh`}L2"*e_:Tk'tr YJ{.;8C`j ٯ .}ϊYu̘< #5Qxr֟*,k||顈O!*@՟YN) ! rnvydN ΒC# S`cхؾam)iy"[1qGdW4ӞizެXlP~[+FVJFȿz5}UڵTQO <$0 7s^sx@_`Q:HJM:ENB" 3]6yy?.o]<(K`%w' ĢgYZ632a24431d2936468ed7f52b5c1ddbf4bd480138a70f3b1dab78f27422c2c199c67ce3165c51f78c b7ea345064e6ade7544c71fbd991740359381db8 6b8c07c29be9e22268dcfe432d5c0c9b09163bca 083f9902691e545c91ca63c0f3e471bde55c6330 7cb875d988d1e3bb7bbde6be5305b3f83e991f63 074bbf5eed40c3b7423edd5daf6701538d9e891a 189cd463a3d0d15129b44671512f1d3a853fd003 ) Floyd_Warshall