SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 ? D / Inductive_Confidentiality:threads=2elapsed=14.998cpu=26.992gc=1.392factor=1.807zXZִF! ]ŗXf1-/6vRZ;P| ^TZ%DAևOt*;tBq[;xSiS=J< -!uhPd3` GS|uf% [D#+`oRk9{YK7zv խmNUpp3ZU mtpH,워EΪ)+ pfh7v2 b ψZ0@v:ͨ0\f?Փ)cP= 2Es Z 7@8zt10̰Ww E&Oa;,kfz |9K9T]-sW^bV~A$ܨNco[Ik +H#?%<W*]5wriVpZΌ4-ۚԾcRC-*͔8)v76egYZ7zXZִF! T]ŗXi%6kΩNz}'(?7HSbrjGwϏ^w( ˑ;^ѬYOYe<ῂ!+?>1RՎJʚ,_MC}ɥ+HzZh#tH;w^=R]거<|5kjAn?kR䛃nwQy=:ON+րz" LW*s=6{zCNOe{ڱ[ V8@ˍ̞m~Kw K E=%zރT=v:Eb~ AQE!١ -AAM 2-̕•rh ?)h\"{+r0zp,\0۰,w0#\s$Ul;K  Afp[YLNPf0uR~ w&7+I7G[ ҺգIGv! ;[[JlZ9v`Bƀ8U/Ij|Hٖ#O&mF,Jw+L\zHsb,c~af#0#5%n9t1yğےOM`;4w鯼qʀ@llyfQ+7ȯ'H.IĕzVp#CAC N77eʴ>Y4hO'%$+y٧TPYA4T S dhsҭ JG3oM{aZ m$IpѳPSj'B/%q?1O'o\{Pz!Ͳ xt٦*nՉdfvw>ֹx['BWs:z\ ;ו"tsWȁ?,kU$( ܬve\4ɶa#.sU|(~lOUdsY'tD$5>oH~ ֚N66=yD.NxBukJU|8qmBkGVDF5?Uַ>mI{Qq_btRn29}G=;OKE\Șͻt|1ܹ t7%q;OoG |_]WЌY/qUert{A!w{D{Ւꭥ짧+Yԅ9\_BU糅h5kۿ/  gYZ078181d96393420012c79e4a891cdc610d8515bd 0d607242806d85051a53d66abb45a1138f822168 1624178630a93c28a1bc7c3ab3a75667f446a9f0 274899bbd47cac6b8c3374606490c45ea071e203 2cb5421a455c9879ba067e1b7a1cf62ce2445790 33bad39081a73300bbe7690aec7847c6c00b07f5 4bb581085c25274be4bcecb71940b8bab1f8fe61 6d318939bb0df51b5dda26ef45ef4d5df3e6bfa4 75eb17d3f23d9954761d410f18390dc486e38208 8759f7fb1a4b1b76c5e52c1bc88c8d2bcf743689 971234caf5b095b4b6737f650cde44c0871439c9 eecea81df08bd4353c99babb9446474c1a127940 ef34e5bcc9dfa8fcf6bf010da23dc57faff1faa6 f0cdfb788bd0c7095853d9145579ae06d999b891238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b 5945815fc19e2396c5725d8d6cd70bbf961a3d4c ? Inductive_Confidentiality