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 ((U) d ]I Floyd_Warshall:threads=2elapsed=21.699cpu=38.980gc=1.324factor=1.807zXZִF! Kk]ŗXf1-/6vRZrS?rhg!;4  8,a/hqP4EWl ՜]Z&'liCdPOhV+DGTYq\?x - B_I|8Q1cnM)KwE¸c'I[yH{d#g$nf"Q~ A{] pMe`s?(IîJbAz[z!h䠐\~'&(םMdXЋ? 3ucwi_$?/cE~sq4xMO /3W T6 U1}hZp^G`K5L׭S?8fgɪIiE3a*QNHZ`0:NNz^K4&cY396?œߣCG fo0-^I*l_69A;7VQ`)i{c*%TW/L<չj&oYP-apA,66pcR!Sio򁣚@:WGR=X=DK]$;}u= hG٪B0j@M .EHgYZ7zXZִF! ]ŗXiɟ$OLO+&%ZĆ.Gf?ܐi;٪jGT3N5YFY?>)RnH9,c]ͳEi|[O+ L#pg h/{ gYZ7zXZִF! x|]ŗXi%>gtQP֣{?*cU{{<:Eׂb]<7eZ&K9aqjAW#LӀǢj?e7K@kP^ :J20vws,TUtߨ['ZKC L+!m(F>-;~3Ɠ>l<QbGK4'?9,MUrIfxjyd]L蒼m3.WȜ\Cop?f:!Iq%Ib gb5Bݤx}|p\ˍ+34O"͵[7%.TL]zCc@Xyy̷㚌';'u7+yt7EVln [ZQ>/YpOKSA(oچWq~ #Fzq)Ȼk34 ʇY $ &8!|'~ȷ*`Cs*6C };ӸƆ2TJ?3۔\M/1;f XnᨥMIդ6 dcPv(@n5){8 2ES&!C0.@}N< 0UؤG(?EMlQN >30& t.S2 x.2zhѺ9I(0y5 p*{Xlj8p-eX0XHA6`k\X"Kok(CUt%m5TڠKIOs9Im{@N 6DI AՔB%.gt7 zd@'ӷH.hS~Q +\:ȇ@ dϘw/R*]O<-?Qpy!ſL:^tpfYNֱDx 3QF7NworLK=ZO>uApMƳ93:;H % ߶cyEqj⼚MxJU' t\~/Iq/j1D+=tb䂱ܞJ0ѹ2mg-N|}sy-gicn0&Sm8msћ1>roo%ViEY^~ޚi^q7aLcwP _iN᧎؀(+: q}waG a]_SH7э2Te ⴵ|m* 4Zz+b:WZY[/K&UŮ3j3\t*NK Q|`GByx]Cb]6˙4Z01T%2}ڭ0ۥȀKa=VUML #! 򦟫35stsv}U5>7V?;_džlm YCŔl%LIJX)w/\r NbfgYZ51d4a096f75e94eb894bdb2d1a9cd80279e1205097833069aaf33e80bb8bfd493abc152a39f1dded dc78b241718cbecaa21e6c3d43f6dadbec9225f3 aee5c2a96c3e523caa28841ab70d56bcebb4e1ca 10a37cbc4b1bf267a15ff46b217f5f3be3b6ddcc 8d65dfdedcd24d898b334fbbf17cbcdbbf07f2a7 e20dd74549b984a91a1d2588914da6610dba2e92 45382fcbb8f66ffbb670ad84305d6c2298b6f3e5 ) Floyd_Warshall