{"scope":"teaching event schedule, not RIP/OSPF or a convergence-time benchmark","initial":{"A":{"cost":2,"next_hop":"B"},"B":{"cost":1,"next_hop":"C"},"C":{"cost":0,"next_hop":null}},"destination":"C","old_edges":[["A","B",1],["B","C",1],["A","C",5]],"new_edges":[["A","B",1],["A","C",5]],"tie_rule":"lexicographic next-hop name for equal total cost","event_limit":7,"dv":[{"event":1,"receiver":"B","neighbor_cache":{"A":2},"previous":{"cost":1,"next_hop":"C"},"computed":{"cost":3,"next_hop":"A"},"installed":{"A":{"cost":2,"next_hop":"B"},"B":{"cost":3,"next_hop":"A"},"C":{"cost":0,"next_hop":null}},"trace_A":{"state":"loop","path":["A","B","A"]}},{"event":2,"receiver":"A","neighbor_cache":{"B":3,"C":0},"previous":{"cost":2,"next_hop":"B"},"computed":{"cost":4,"next_hop":"B"},"installed":{"A":{"cost":4,"next_hop":"B"},"B":{"cost":3,"next_hop":"A"},"C":{"cost":0,"next_hop":null}},"trace_A":{"state":"loop","path":["A","B","A"]}},{"event":3,"receiver":"B","neighbor_cache":{"A":4},"previous":{"cost":3,"next_hop":"A"},"computed":{"cost":5,"next_hop":"A"},"installed":{"A":{"cost":4,"next_hop":"B"},"B":{"cost":5,"next_hop":"A"},"C":{"cost":0,"next_hop":null}},"trace_A":{"state":"loop","path":["A","B","A"]}},{"event":4,"receiver":"A","neighbor_cache":{"B":5,"C":0},"previous":{"cost":4,"next_hop":"B"},"computed":{"cost":5,"next_hop":"C"},"installed":{"A":{"cost":5,"next_hop":"C"},"B":{"cost":5,"next_hop":"A"},"C":{"cost":0,"next_hop":null}},"trace_A":{"state":"delivered-in-model","path":["A","C"]}},{"event":5,"receiver":"B","neighbor_cache":{"A":5},"previous":{"cost":5,"next_hop":"A"},"computed":{"cost":6,"next_hop":"A"},"installed":{"A":{"cost":5,"next_hop":"C"},"B":{"cost":6,"next_hop":"A"},"C":{"cost":0,"next_hop":null}},"trace_A":{"state":"delivered-in-model","path":["A","C"]}},{"event":6,"receiver":"A","neighbor_cache":{"B":6,"C":0},"previous":{"cost":5,"next_hop":"C"},"computed":{"cost":5,"next_hop":"C"},"installed":{"A":{"cost":5,"next_hop":"C"},"B":{"cost":6,"next_hop":"A"},"C":{"cost":0,"next_hop":null}},"trace_A":{"state":"delivered-in-model","path":["A","C"]}},{"event":7,"receiver":"B","neighbor_cache":{"A":5},"previous":{"cost":6,"next_hop":"A"},"computed":{"cost":6,"next_hop":"A"},"installed":{"A":{"cost":5,"next_hop":"C"},"B":{"cost":6,"next_hop":"A"},"C":{"cost":0,"next_hop":null}},"trace_A":{"state":"delivered-in-model","path":["A","C"]}}],"ls":[{"event":1,"router":"B","topology_versions":{"A":1,"B":2,"C":1},"previous":{"cost":1,"next_hop":"C"},"computed":{"cost":6,"next_hop":"A"},"installed":{"A":{"cost":2,"next_hop":"B"},"B":{"cost":6,"next_hop":"A"},"C":{"cost":0,"next_hop":null}},"trace_A":{"state":"loop","path":["A","B","A"]}},{"event":2,"router":"A","topology_versions":{"A":2,"B":2,"C":1},"previous":{"cost":2,"next_hop":"B"},"computed":{"cost":5,"next_hop":"C"},"installed":{"A":{"cost":5,"next_hop":"C"},"B":{"cost":6,"next_hop":"A"},"C":{"cost":0,"next_hop":null}},"trace_A":{"state":"delivered-in-model","path":["A","C"]}},{"event":3,"router":"B","topology_versions":{"A":2,"B":2,"C":1},"previous":{"cost":6,"next_hop":"A"},"computed":{"cost":6,"next_hop":"A"},"installed":{"A":{"cost":5,"next_hop":"C"},"B":{"cost":6,"next_hop":"A"},"C":{"cost":0,"next_hop":null}},"trace_A":{"state":"delivered-in-model","path":["A","C"]}},{"event":4,"router":"A","topology_versions":{"A":2,"B":2,"C":1},"previous":{"cost":5,"next_hop":"C"},"computed":{"cost":5,"next_hop":"C"},"installed":{"A":{"cost":5,"next_hop":"C"},"B":{"cost":6,"next_hop":"A"},"C":{"cost":0,"next_hop":null}},"trace_A":{"state":"delivered-in-model","path":["A","C"]}}],"reverse_ls_first_A":{"installed":{"A":{"cost":5,"next_hop":"C"},"B":{"cost":1,"next_hop":"C"},"C":{"cost":0,"next_hop":null}},"trace_B":{"state":"link-down","path":["B","C"]}},"fixed_point_checked":true}