%% distance(I, J, Km).  I < J: stored once (Euclidean distance is
%% symmetric).  I, J are SEBD edition numbers (stops 1..34), NOT city
%% names -- some cities repeat (Rimini, Venice, Villasimius), and a trip
%% visits 34 distinct stops.  Km = approx. Euclidean km (see trip.py).
%% Symmetric lookup for queries:
dist(A, B, K) :- distance(A, B, K).
dist(A, B, K) :- distance(B, A, K).

distance( 1,  2,  645).
distance( 1,  3,  233).
distance( 1,  4,  690).
distance( 1,  5,  843).
distance( 1,  6,  567).
distance( 1,  7,  966).
distance( 1,  8,  446).
distance( 1,  9,  792).
distance( 1, 10,  651).
distance( 1, 11,   70).
distance( 1, 12,  599).
distance( 1, 13,  945).
distance( 1, 14,  559).
distance( 1, 15,  236).
distance( 1, 16,  253).
distance( 1, 17,  839).
distance( 1, 18,  645).
distance( 1, 19,  125).
distance( 1, 20,  792).
distance( 1, 21,   69).
distance( 1, 22,  243).
distance( 1, 23,  335).
distance( 1, 24,  195).
distance( 1, 25,   33).
distance( 1, 26,  181).
distance( 1, 27,  613).
distance( 1, 28,  554).
distance( 1, 29,   23).
distance( 1, 30,  716).
distance( 1, 31,  800).
distance( 1, 32,  554).
distance( 1, 33,  274).
distance( 1, 34,  586).
distance( 2,  3,  415).
distance( 2,  4,  148).
distance( 2,  5,  201).
distance( 2,  6,   93).
distance( 2,  7,  348).
distance( 2,  8,  202).
distance( 2,  9,  155).
distance( 2, 10,  232).
distance( 2, 11,  577).
distance( 2, 12,  640).
distance( 2, 13,  305).
distance( 2, 14,  101).
distance( 2, 15,  541).
distance( 2, 16,  655).
distance( 2, 17,  284).
distance( 2, 18,    0).
distance( 2, 19,  522).
distance( 2, 20,  155).
distance( 2, 21,  712).
distance( 2, 22,  409).
distance( 2, 23,  328).
distance( 2, 24,  651).
distance( 2, 25,  674).
distance( 2, 26,  538).
distance( 2, 27,  201).
distance( 2, 28,  602).
distance( 2, 29,  663).
distance( 2, 30,  194).
distance( 2, 31,  155).
distance( 2, 32,  602).
distance( 2, 33,  387).
distance( 2, 34,   66).
distance( 3,  4,  458).
distance( 3,  5,  611).
distance( 3,  6,  342).
distance( 3,  7,  734).
distance( 3,  8,  214).
distance( 3,  9,  565).
distance( 3, 10,  428).
distance( 3, 11,  167).
distance( 3, 12,  503).
distance( 3, 13,  718).
distance( 3, 14,  334).
distance( 3, 15,  237).
distance( 3, 16,  293).
distance( 3, 17,  610).
distance( 3, 18,  415).
distance( 3, 19,  117).
distance( 3, 20,  565).
distance( 3, 21,  298).
distance( 3, 22,   20).
distance( 3, 23,  106).
distance( 3, 24,  304).
distance( 3, 25,  264).
distance( 3, 26,  194).
distance( 3, 27,  387).
distance( 3, 28,  453).
distance( 3, 29,  249).
distance( 3, 30,  487).
distance( 3, 31,  570).
distance( 3, 32,  453).
distance( 3, 33,   55).
distance( 3, 34,  359).
distance( 4,  5,  196).
distance( 4,  6,  221).
distance( 4,  7,  278).
distance( 4,  8,  257).
distance( 4,  9,  231).
distance( 4, 10,  106).
distance( 4, 11,  625).
distance( 4, 12,  547).
distance( 4, 13,  345).
distance( 4, 14,  227).
distance( 4, 15,  632).
distance( 4, 16,  643).
distance( 4, 17,  158).
distance( 4, 18,  148).
distance( 4, 19,  575).
distance( 4, 20,  231).
distance( 4, 21,  752).
distance( 4, 22,  447).
distance( 4, 23,  355).
distance( 4, 24,  734).
distance( 4, 25,  721).
distance( 4, 26,  617).
distance( 4, 27,  102).
distance( 4, 28,  517).
distance( 4, 29,  704).
distance( 4, 30,   47).
distance( 4, 31,  194).
distance( 4, 32,  517).
distance( 4, 33,  416).
distance( 4, 34,  196).
distance( 5,  6,  291).
distance( 5,  7,  163).
distance( 5,  8,  397).
distance( 5,  9,  112).
distance( 5, 10,  298).
distance( 5, 11,  775).
distance( 5, 12,  740).
distance( 5, 13,  153).
distance( 5, 14,  300).
distance( 5, 15,  741).
distance( 5, 16,  828).
distance( 5, 17,  194).
distance( 5, 18,  201).
distance( 5, 19,  721).
distance( 5, 20,  112).
distance( 5, 21,  909).
distance( 5, 22,  603).
distance( 5, 23,  516).
distance( 5, 24,  852).
distance( 5, 25,  872).
distance( 5, 26,  740).
distance( 5, 27,  298).
distance( 5, 28,  711).
distance( 5, 29,  860).
distance( 5, 30,  209).
distance( 5, 31,   62).
distance( 5, 32,  711).
distance( 5, 33,  578).
distance( 5, 34,  266).
distance( 6,  7,  440).
distance( 6,  8,  142).
distance( 6,  9,  225).
distance( 6, 10,  279).
distance( 6, 11,  498).
distance( 6, 12,  640).
distance( 6, 13,  377).
distance( 6, 14,    9).
distance( 6, 15,  450).
distance( 6, 16,  603).
distance( 6, 17,  369).
distance( 6, 18,   93).
distance( 6, 19,  443).
distance( 6, 20,  225).
distance( 6, 21,  636).
distance( 6, 22,  340).
distance( 6, 23,  268).
distance( 6, 24,  562).
distance( 6, 25,  594).
distance( 6, 26,  450).
distance( 6, 27,  238).
distance( 6, 28,  598).
distance( 6, 29,  586).
distance( 6, 30,  267).
distance( 6, 31,  239).
distance( 6, 32,  598).
distance( 6, 33,  323).
distance( 6, 34,   27).
distance( 7,  8,  525).
distance( 7,  9,  273).
distance( 7, 10,  349).
distance( 7, 11,  900).
distance( 7, 12,  762).
distance( 7, 13,  236).
distance( 7, 14,  449).
distance( 7, 15,  887).
distance( 7, 16,  916).
distance( 7, 17,  162).
distance( 7, 18,  348).
distance( 7, 19,  848).
distance( 7, 20,  273).
distance( 7, 21, 1029).
distance( 7, 22,  723).
distance( 7, 23,  632).
distance( 7, 24,  995).
distance( 7, 25,  997).
distance( 7, 26,  880).
distance( 7, 27,  370).
distance( 7, 28,  743).
distance( 7, 29,  981).
distance( 7, 30,  262).
distance( 7, 31,  225).
distance( 7, 32,  743).
distance( 7, 33,  694).
distance( 7, 34,  414).
distance( 8,  9,  355).
distance( 8, 10,  260).
distance( 8, 11,  378).
distance( 8, 12,  525).
distance( 8, 13,  507).
distance( 8, 14,  135).
distance( 8, 15,  376).
distance( 8, 16,  462).
distance( 8, 17,  415).
distance( 8, 18,  202).
distance( 8, 19,  325).
distance( 8, 20,  355).
distance( 8, 21,  512).
distance( 8, 22,  207).
distance( 8, 23,  128).
distance( 8, 24,  477).
distance( 8, 25,  476).
distance( 8, 26,  360).
distance( 8, 27,  213).
distance( 8, 28,  480).
distance( 8, 29,  463).
distance( 8, 30,  294).
distance( 8, 31,  356).
distance( 8, 32,  480).
distance( 8, 33,  186).
distance( 8, 34,  152).
distance( 9, 10,  337).
distance( 9, 11,  722).
distance( 9, 12,  772).
distance( 9, 13,  153).
distance( 9, 14,  233).
distance( 9, 15,  664).
distance( 9, 16,  809).
distance( 9, 17,  289).
distance( 9, 18,  155).
distance( 9, 19,  667).
distance( 9, 20,    0).
distance( 9, 21,  860).
distance( 9, 22,  561).
distance( 9, 23,  481).
distance( 9, 24,  779).
distance( 9, 25,  819).
distance( 9, 26,  671).
distance( 9, 27,  321).
distance( 9, 28,  738).
distance( 9, 29,  810).
distance( 9, 30,  263).
distance( 9, 31,   54).
distance( 9, 32,  738).
distance( 9, 33,  540).
distance( 9, 34,  206).
distance(10, 11,  591).
distance(10, 12,  442).
distance(10, 13,  449).
distance(10, 14,  283).
distance(10, 15,  630).
distance(10, 16,  569).
distance(10, 17,  196).
distance(10, 18,  232).
distance(10, 19,  545).
distance(10, 20,  337).
distance(10, 21,  708).
distance(10, 22,  413).
distance(10, 23,  322).
distance(10, 24,  723).
distance(10, 25,  684).
distance(10, 26,  606).
distance(10, 27,   47).
distance(10, 28,  413).
distance(10, 29,  662).
distance(10, 30,   91).
distance(10, 31,  300).
distance(10, 32,  413).
distance(10, 33,  379).
distance(10, 34,  260).
distance(11, 12,  579).
distance(11, 13,  875).
distance(11, 14,  489).
distance(11, 15,  194).
distance(11, 16,  262).
distance(11, 17,  776).
distance(11, 18,  577).
distance(11, 19,   55).
distance(11, 20,  722).
distance(11, 21,  139).
distance(11, 22,  179).
distance(11, 23,  271).
distance(11, 24,  189).
distance(11, 25,   97).
distance(11, 26,  134).
distance(11, 27,  552).
distance(11, 28,  532).
distance(11, 29,   90).
distance(11, 30,  653).
distance(11, 31,  731).
distance(11, 32,  532).
distance(11, 33,  212).
distance(11, 34,  517).
distance(12, 13,  891).
distance(12, 14,  638).
distance(12, 15,  733).
distance(12, 16,  369).
distance(12, 17,  600).
distance(12, 18,  640).
distance(12, 19,  569).
distance(12, 20,  772).
distance(12, 21,  618).
distance(12, 22,  483).
distance(12, 23,  455).
distance(12, 24,  767).
distance(12, 25,  628).
distance(12, 26,  680).
distance(12, 27,  451).
distance(12, 28,   50).
distance(12, 29,  595).
distance(12, 30,  531).
distance(12, 31,  741).
distance(12, 32,   50).
distance(12, 33,  456).
distance(12, 34,  634).
distance(13, 14,  386).
distance(13, 15,  811).
distance(13, 16,  957).
distance(13, 17,  335).
distance(13, 18,  305).
distance(13, 19,  820).
distance(13, 20,  153).
distance(13, 21, 1013).
distance(13, 22,  713).
distance(13, 23,  633).
distance(13, 24,  927).
distance(13, 25,  972).
distance(13, 26,  821).
distance(13, 27,  445).
distance(13, 28,  861).
distance(13, 29,  963).
distance(13, 30,  362).
distance(13, 31,  158).
distance(13, 32,  861).
distance(13, 33,  692).
distance(13, 34,  359).
distance(14, 15,  441).
distance(14, 16,  596).
distance(14, 17,  376).
distance(14, 18,  101).
distance(14, 19,  434).
distance(14, 20,  233).
distance(14, 21,  627).
distance(14, 22,  332).
distance(14, 23,  261).
distance(14, 24,  553).
distance(14, 25,  586).
distance(14, 26,  441).
distance(14, 27,  241).
distance(14, 28,  596).
distance(14, 29,  578).
distance(14, 30,  273).
distance(14, 31,  248).
distance(14, 32,  596).
distance(14, 33,  316).
distance(14, 34,   35).
distance(15, 16,  451).
distance(15, 17,  790).
distance(15, 18,  541).
distance(15, 19,  173).
distance(15, 20,  664).
distance(15, 21,  294).
distance(15, 22,  257).
distance(15, 23,  325).
distance(15, 24,  116).
distance(15, 25,  241).
distance(15, 26,   60).
distance(15, 27,  585).
distance(15, 28,  684).
distance(15, 29,  258).
distance(15, 30,  670).
distance(15, 31,  687).
distance(15, 32,  684).
distance(15, 33,  291).
distance(15, 34,  475).
distance(16, 17,  765).
distance(16, 18,  655).
distance(16, 19,  281).
distance(16, 20,  809).
distance(16, 21,  255).
distance(16, 22,  284).
distance(16, 23,  335).
distance(16, 24,  444).
distance(16, 25,  276).
distance(16, 26,  391).
distance(16, 27,  546).
distance(16, 28,  331).
distance(16, 29,  242).
distance(16, 30,  654).
distance(16, 31,  800).
distance(16, 32,  331).
distance(16, 33,  286).
distance(16, 34,  613).
distance(17, 18,  284).
distance(17, 19,  727).
distance(17, 20,  289).
distance(17, 21,  899).
distance(17, 22,  597).
distance(17, 23,  505).
distance(17, 24,  891).
distance(17, 25,  871).
distance(17, 26,  774).
distance(17, 27,  227).
distance(17, 28,  580).
distance(17, 29,  852).
distance(17, 30,  123).
distance(17, 31,  236).
distance(17, 32,  580).
distance(17, 33,  565).
distance(17, 34,  343).
distance(18, 19,  522).
distance(18, 20,  155).
distance(18, 21,  712).
distance(18, 22,  409).
distance(18, 23,  328).
distance(18, 24,  651).
distance(18, 25,  674).
distance(18, 26,  538).
distance(18, 27,  201).
distance(18, 28,  602).
distance(18, 29,  663).
distance(18, 30,  194).
distance(18, 31,  155).
distance(18, 32,  602).
distance(18, 33,  387).
distance(18, 34,   66).
distance(19, 20,  667).
distance(19, 21,  194).
distance(19, 22,  132).
distance(19, 23,  224).
distance(19, 24,  202).
distance(19, 25,  152).
distance(19, 26,  114).
distance(19, 27,  505).
distance(19, 28,  521).
distance(19, 29,  145).
distance(19, 30,  604).
distance(19, 31,  677).
distance(19, 32,  521).
distance(19, 33,  168).
distance(19, 34,  462).
distance(20, 21,  860).
distance(20, 22,  561).
distance(20, 23,  481).
distance(20, 24,  779).
distance(20, 25,  819).
distance(20, 26,  671).
distance(20, 27,  321).
distance(20, 28,  738).
distance(20, 29,  810).
distance(20, 30,  263).
distance(20, 31,   54).
distance(20, 32,  738).
distance(20, 33,  540).
distance(20, 34,  206).
distance(21, 22,  307).
distance(21, 23,  397).
distance(21, 24,  231).
distance(21, 25,   53).
distance(21, 26,  243).
distance(21, 27,  672).
distance(21, 28,  576).
distance(21, 29,   50).
distance(21, 30,  777).
distance(21, 31,  867).
distance(21, 32,  576).
distance(21, 33,  336).
distance(21, 34,  654).
distance(22, 23,   92).
distance(22, 24,  323).
distance(22, 25,  275).
distance(22, 26,  213).
distance(22, 27,  373).
distance(22, 28,  434).
distance(22, 29,  258).
distance(22, 30,  474).
distance(22, 31,  564).
distance(22, 32,  434).
distance(22, 33,   36).
distance(22, 34,  355).
distance(23, 24,  405).
distance(23, 25,  367).
distance(23, 26,  290).
distance(23, 27,  281).
distance(23, 28,  406).
distance(23, 29,  349).
distance(23, 30,  382).
distance(23, 31,  480).
distance(23, 32,  406).
distance(23, 33,   62).
distance(23, 34,  279).
distance(24, 25,  183).
distance(24, 26,  117).
distance(24, 27,  679).
distance(24, 28,  719).
distance(24, 29,  212).
distance(24, 30,  770).
distance(24, 31,  800).
distance(24, 32,  719).
distance(24, 33,  359).
distance(24, 34,  586).
distance(25, 26,  190).
distance(25, 27,  646).
distance(25, 28,  584).
distance(25, 29,   34).
distance(25, 30,  748).
distance(25, 31,  828).
distance(25, 32,  584).
distance(25, 33,  306).
distance(25, 34,  614).
distance(26, 27,  562).
distance(26, 28,  631).
distance(26, 29,  204).
distance(26, 30,  652).
distance(26, 31,  689).
distance(26, 32,  631).
distance(26, 33,  249).
distance(26, 34,  474).
distance(27, 28,  418).
distance(27, 29,  625).
distance(27, 30,  108).
distance(27, 31,  291).
distance(27, 32,  418).
distance(27, 33,  340).
distance(27, 34,  220).
distance(28, 29,  551).
distance(28, 30,  503).
distance(28, 31,  709).
distance(28, 32,    0).
distance(28, 33,  407).
distance(28, 34,  593).
distance(29, 30,  729).
distance(29, 31,  818).
distance(29, 32,  551).
distance(29, 33,  288).
distance(29, 34,  605).
distance(30, 31,  220).
distance(30, 32,  503).
distance(30, 33,  442).
distance(30, 34,  242).
distance(31, 32,  709).
distance(31, 33,  541).
distance(31, 34,  216).
distance(32, 33,  407).
distance(32, 34,  593).
distance(33, 34,  337).