From 49d70627bbf2ccbb85614ce01fa8b34f18baa18e Mon Sep 17 00:00:00 2001
From: Alice <alicevteixeira@gmail.com>
Date: Fri, 10 Nov 2023 15:28:53 +0000
Subject: [PATCH] vault backup: 2023-11-10 15:28:53

---
 .obsidian/workspace.json | 12 ++++++------
 4a1s/MFES/PL - Aula 7.md |  4 +++-
 2 files changed, 9 insertions(+), 7 deletions(-)

diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json
index a8ca729..47c7f22 100644
--- a/.obsidian/workspace.json
+++ b/.obsidian/workspace.json
@@ -13,7 +13,7 @@
             "state": {
               "type": "markdown",
               "state": {
-                "file": "4a1s/MFES/PL - Aula 6.md",
+                "file": "4a1s/MFES/PL - Aula 7.md",
                 "mode": "source",
                 "source": false
               }
@@ -85,7 +85,7 @@
             "state": {
               "type": "backlink",
               "state": {
-                "file": "4a1s/MFES/PL - Aula 6.md",
+                "file": "4a1s/MFES/PL - Aula 7.md",
                 "collapseAll": false,
                 "extraContext": false,
                 "sortOrder": "alphabetical",
@@ -102,7 +102,7 @@
             "state": {
               "type": "outgoing-link",
               "state": {
-                "file": "4a1s/MFES/PL - Aula 6.md",
+                "file": "4a1s/MFES/PL - Aula 7.md",
                 "linksCollapsed": false,
                 "unlinkedCollapsed": true
               }
@@ -125,7 +125,7 @@
             "state": {
               "type": "outline",
               "state": {
-                "file": "4a1s/MFES/PL - Aula 6.md"
+                "file": "4a1s/MFES/PL - Aula 7.md"
               }
             }
           },
@@ -158,10 +158,10 @@
       "digitalgarden:Digital Garden Publication Center": false
     }
   },
-  "active": "9853b375f7893cb9",
+  "active": "3ca14d4a6c304083",
   "lastOpenFiles": [
-    "4a1s/MFES/PL - Aula 7.md",
     "4a1s/MFES/PL - Aula 6.md",
+    "4a1s/MFES/PL - Aula 7.md",
     "4a1s/DAA/PL - Project.md",
     "4a1s/DAA/PL - Aula 1.md",
     "4a1s/ASCN/T - Aula 3.md",
diff --git a/4a1s/MFES/PL - Aula 7.md b/4a1s/MFES/PL - Aula 7.md
index 29f10f6..28438db 100644
--- a/4a1s/MFES/PL - Aula 7.md	
+++ b/4a1s/MFES/PL - Aula 7.md	
@@ -59,7 +59,9 @@ pred insert[n : Node] {
   	//nodes always in the head or linked to prox
   	//always n in ( Bucket.head + Bucket.head.prox)
   	always n.key.hash not in Hash {
-	  	
+	  	always lone b: Bucket| b.head = none {
+      		b.head = n
+      	}
   	}