SQLite format 3@ . BBh77otableisabelle_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   q5 |L ]% DynamicArchitectures:threads=2elapsed=13.694cpu=25.396gc=0.756factor=1.857zXZִF! ]ŗXf1-/6vRZaKSt$uxem1o/pA"6΁oDPcvMԷȑv]PP [S-sFÎCKkl1 GmԽ:%Ü hW֚} l%ZwTᬇTG'a@ނu5;1<Xc>~MfIH?>a T5aec͋o&_}3eV휄/JV!C >ˣ,袖xu<tg) D%<(P PHOfXKhF=#TWiɪ?zz;zx}E%5#w7Õ&,Z ՊhATeM2;cHpK4tbtCK:,#K 'hZe o*7'aȲgYZ7zXZִF! w]ŗXiɟ:340Ψ_իX+jެDu?.jT yFa yƸ+)Z&j6vH\Da,|,WVhO.ُldIQ}F D[%gYZ7zXZִF! R@]ŗXi%9(SN\a8@ج*'v"n}.>TmgDjwYҊ(HP# XՁS5=#{eK0ץyo^ZH {h0*>ۅC_eyµpRշJ"Ym'5%DY$ʓo`&+ zYEY9kӏp +bwKxZ/wN&:`/iMPc,Yl{L Wx@eX;"i5PՇ1/ژtz"[xZDNrpcqSW`SݷKŞѰ7]:v0lvgtAԕTJeo YzalV a#2-j.ϼ/0E\Q c*/H[)~4ej8X-7՝l6YMIlZcdCU-+uK0* sEAyͫݮK~īT7N8*LD g܊II̡skQfNy 8r{xl-  ng2B֬65 S0YZ-H+rILjb)RY&&EI1, c4$(_§$z2zj# ; &Ϟsnќu)ivCj@c AZ7uFҶ0 ø\7)$ļ1b^K{L.كV <(֪gYZ6e8689eceb7e85c73716017eb6aa29f2e23e9a862722ec1bc2993f9863f5084b9ee07bd97dd3d36c 3f001195d7415da4b8cf06d884af4e156b801fea 767fc67378b31eb70f2963c7c52b27cb412fc8af fc0f072ef1b0fd224ef751db1a20b5fc57d028b1 959e9ac2481b801f7d54b0dbf978d701d327dd35 5 DynamicArchitectures