SQLite format 3@ .0:  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 ) \ ]I Floyd_Warshall:threads=4elapsed=12.460cpu=43.012gc=0.816factor=3.457zXZִF! ]ŗXf[&B['dP-ʖ}-TFgI嫇aȸ92xEv1@iA/b?p0VKW:8I΂~ʆ`[d>56i mKaKzz={${,E_>$\I YQ#1~ s(h\3mm!tv#04Q(&XN[xmXƿ!z:N6 ~_Zk41kt4?5e2' *3x>vc{.$r&*!gINQ4-NTlyt3Mꏚs貋W9үT Fg) '"G/2BjpGqR;ޝ-[Ozc4lZЦ$Y] KtĹ^ےAxSR3"ֱ& `>o "}iL+AaiO{U#^7bn7e@4)P$d }jR;L ir-\XgH+A濒\!$Xm!UbK\+< ɟ<k&&q{AIa|z wvcԬaS*62^!B7joʸȊ"I?=Ltg۵^$WPe-OV1xb{Iєg~/ZH9O(+N:9~Qhۉ`!fsal  ZW͢.YiCVڞ?Qh-bgK0KeM!f(X8ڴH3iח0dt.JTŰ, ?N2,OAؔ%zOzJ3ew=&*l4t H47 h-1'ܢڮq92,U^P\{|uiEu XPEpv{&IT5nqJ:ĝhգG8R]_F(Y[Õ9/԰[9L*Vh $> $0S{g"kt7ovnx p,qk*g3JȒn\vD!>% H~uA>;r!aN_L9z>}V,߁,бoWh_^?k%j˨ i@Yv:c$.,(YC%|6jyn2caC6 J꽦h<Y#xGow'q=FQ|R U_=ԃg)Sȩ̓Eq}`|. /mB-2"l6!딫yTC^p8` x&K%Sc쬑mț S'I)XmPzk\r6U -tqPO}8}Q!v,g 'Vm5܊-3 VAvwBpӚ&w4aE2՞rP*5N1H_F0] 7S<^"~3l L(3ZUwh͙/3c*E4ZdyN)~ud,Ć) [J i);gYZe4e1d54a8c9c080c39f6521981160688298a7b9276b019a50eeda51c4b74870607c55fbf00aca327 dd820facb07e73b2c93e51e4d0b3041a08b59568 2b056efab254aa3dc851b0b14f16d052a999fa19 a290a4f5118831ac70fd5173deb1e8a9509fdee9 e810dde3b7f17767756717c03c5dbec62f052ca4 65cfa8a127ecc62c24c2870d2004743e04a1ba8f 6e0d0deb92fbb41a15b36f68bf609b81af01f85e ) Floyd_Warshall