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 -) l, ]I Floyd_Warshall:threads=2elapsed=22.754cpu=40.920gc=1.368factor=1.807zXZִF! p]ŗXf1-/6vRZrS?rhg!;4  8,a/hqP4EWl ՝q`sѱRMai#?{j״c.6i/GH|nxC[0FhYV X=bDQ}#o!noKpgVz?7 +d?0D1P{5l:e ápzQy='͗wB=W'Af w<@A4T(k/!SӑgoD2mnYpPdN ,]Y7Vmdm~jL/k<=`k58w;)Q%@F,f9()%DG US$ 7졄ψmO y^Zz&CEN'ACZ="V  F*7u "I6OU谜dsB,I'X۞UH ~"?[(SE&{Zac`b)a0@tC/ILgYZ7zXZִF! ]ŗXiɟ$OLO+&%ZĆ.Gf?ܐi;٪jC LJѸi4Cm,p`Lz6}"syYɒifeOC T}Ba.ŝxi+{gYZ7zXZִF! }]ŗXi%;DC2'"ĖŇb\[ISi5̠{Mw6xun)B4h 5[xW{B 'p::Kh#1ya*xr[QN§ݣo% uf4\xFPM;[y{ќCK+\q d|-ex'Dyh)j\J+k&cЏtbAtG6N 'Ǎ9FY1FVMLTTw j Fh\A1*<8e}Sΐv.LeT;^^~L.(yF t~&>q :&jvG6a}:mȉ/~NUCP:$"di@G翗E *Q]Avomr6g udI8XGW*3I\u&7m4ٿg'l@)*Ogʞޫe|U T̉_'~쓛Xr ްΞ@esNa_@q e'WEOY@bdȾ?5berDžy}kuԊeh_\tt\ {i](á7QIF?{mG;%O?&'`ܯ)yvPNuvCҬRǜfoT.2f6c D#YQ(Z4aSELJxOχLp3l!~^i-c{m.Bv^b6Bf_zӼqX@@<0 _/zȌ1[L!K8W 0Bµΰ0R{?]"O'%kXȱM+RY'Ts;f,TH1 6|+'K^.ܯclvmd-X"xKק(ٻmrPX|-'ujLLw*8C淒#2|!EC.yed80;_8ܥLNΚW\c'F?}ӏLbOYrO|jNNܭIfs-YAe,-# dlp"'{hүQ!jqUiRV+6t-gzfKP wᖽ& &KqpЕQɽÄ`C$Ԣ/<51uYsi Rk t+h`Եԋǻ 9hig1>hqAnyP¹\?~4M3i&T֨,(=$M\+m J35SKV:)L\ZeasiR$6nh 5V[>zjoaux;i׋0 'Dpw0 XOgYZ145f5294e199b9bc71ce68c2a0f92a3241e767a5a70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39 bc04e57dcf7ea8c69af8c3216e544bbc1ebadc12 e5c6fd005027b05c95bb790d8af588a6df5c08d9 8dbef17a79817c64be90526a646fed45bc637563 c321c706e4f917d3ad3200971941bc070f0aa22b 7a2ed0893c86c800513edba31ea80d3679f44eb7 ) Floyd_Warshall