SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 ] ||| ] IOA:threads=6elapsed=7.180cpu=32.204gc=1.300factor=4.497zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K S;jų/9Y*]|@?8Ẃɝz)m :W<%DB@ɇ\kAN==06p?!B;+\hEq"zq,߷8/J 2|Z,TYY^K j H*q )rPҧ ~Lln/?;,Y̻fh[m7LEU@VPfǑp}khm8(.|'\yAOߤ|U0p$NDUm[ ,!]Z #Zl RwZ]8N5`#VZdtOHJ1dM bS- b|!^xc1bA b,N*N? VxBUgYZ7zXZִF! `u]ŗXiɟdN'LvH۹C<" !LZōZ Gռ!M|ׇ,ėK9|e?d/z J%%qzjJ;= _!E3"Gm(۬IurNZÚˬpA |i˄R?2ҹkaHͺ:hGw^^Iα}'. _ ʑj>h3I2uX ÷j΃96VAͧ;~hq?H$孯L?4oPqS&sM{凜`^yz} l:,4R~-ChwRwuoB e0ypG ԌT+5B{b(W2֘M3FB/ AP8 Ųz;,LgJH" g>u՚oMa $3Dz[PZoWA1uL4/ 6̲Yi!Scq I 4ܿ"FaV8B,4b6hdO0=EE,%2ߍ z%γMQ=@_Tf6b> DV_?ș9r-"?\ᓾ:P\,mok}^62!uEk |gU9ł;eh?#'_zӈvQDȲ;TןC(l~~ +4Ms53%X4if;q,$eׄe 6VOG hr@ MEܗ8gۻmq&6]J@L%qHx}>F\m/cf5 və?2^#ײZoOr.5Gs>Ѩ"qGH@haPhŮ8]Zϐ沩!!?-:_ܖgէYq,5R3 b л,S(74(3-2AxULA\U}UyOtQ&g@dz{PeS{ {R$0G)1&:PZefj!z8³miPS9@7n/j]Io"!Pi=S` o/8ovX GEA>7OCJW6zSL$n@h1❣xy ; \Et~db3TA=D ξgNb%`޽d#VυP^SѱgYZa56566a9bc9122ee6338bc002a664de453eb932798b9b9cd6f4fc2e11b47e8e3c434c3dc2faa1139 e2b5f42e7f98c0b995b852b6808f2b8140132ac5 1f9c217551fdbafdef2caecf4e8e9fb0f3c76766  IOA