SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info O Dt E/ XML:threads=2elapsed=18.997cpu=29.368gc=2.080factor=1.557zXZִF! S]ŗXf1-%˓> ؽΒ$%`?D+l6 \಺pR5J^o+*kL}BYRj[!ū!c?'w_ WCCݣ4h+BsLu CҷSp* z9ZǩLSphT$;m)e H!UN0+P^_+ԋDذ貈9 /m,!fn>:oPL  XML0M4sٷ  Z@f`8UQ-@x꼎rܢ4/ zI5Ԟ}vyAr80Mƪ|eާ_ =ؤKi~k |60Uu7JO/mƬE [z{1Op[vN3>,"b.P~{wI'dLC~n|#΃'_ʋ@B2bSێx{KvKGRag~ز 'pOb?F]2 ' V|אQS9Ae6v7=A喒Ev\zpkVY?5AҮ~/VFZŢNf1h5G4,!&K.vr{(o-}bp㶱dBo2ymډ=` e2[ hr?i1C{u|6)0;i^@K3fehXG?gf;Ҕ-zj򃤈#'ǟR^v_SCf`dC6OkiF:Ү$NR8閥G@勏>+tZw,l @ďq oFoc^L Ҳ&̬sJY >xd30ìZ:N.̈́NS\7^Y?= cjKk睪^ #D*Ƕ:#4dhˏ r#%gαgYZ7zXZִF! `"4]ŗXi%B׆2J`1\"U"fكalmH'Xdy-_`s9i=.g @3`')B "@w |p|/d ?ܼ19Kɐ49FgY}4+R:Ϗi"IX$z v}_|`7m@K't)B[.[CAGo)nz TW ` :/e`w7ػOj똕ބ=a_ O}*8؛A%Y:-XABDώʋGzCEC?ƪo2%(]۫Р ]_,yђ:#S4e2QInCp< hE^bXeM{aSs&L]y57SސU% ({yn\u&0IE/1gM'UMjΙI\`)Jٵ@Q#!8|Jx8:+zlt5Bws- od`#k2+y2afDR/`69)p %%M7솕GP|;W 2OgS|dEeD*JFsQyLL/*nN.†XŬտ每 B>B:b&c熩-T%f"J*syBE,/KE>Ez6d--TэL Q>QeZ[0GnvՍ+Lb(y'CyEզhU0D#BCט-<+3U wSslP^26z|EG}RqP+ݔZ2C$(*Cwk1S LgYZ02e6745f5bf1d5a2f90e78e0ce6223e709dd3c07 07fe2884c3463aedca90506275e9f2e53c964a31 0b69d8c3f70856201e8c054bc34357b13520292f 1a1436f28f19da44f56dd3fdc6afa1e3786effa2 3122c5b55089566c74375976fd6040cc34c326db 37e048eca1afc2c069cebaffb562a02b039bb22c 3997ad1247c599ff5ca5a09326a165d755ba9b8b 3f1daea61d49a0727b162acdcb54df51d4648b5b 429952f9b1ab48f5480776e72dd795c832ab4fd6 5f027145b953123734f36cd380855d6483226701 69b4d87e9cab0b856337e17afce32c08395ac7ff 79f31440868c5686b204e83e4f26f92eb8d94f9b 8913304f37a2c00447277cd0d64d3ffa149379a5 93414022e52a809ad6d52d57f2418d9007b685b0 9bdd5aa3a04f12448f7300dfdbe400d0b0c4b078 a526ece146642d823be07862c7c8488392c4dd25 cbdd9fc6d6570e1d4cdb5f290d2b154598908d6c d1a1fe056914a78cdbca5deac82d86dfddf0c2e2 ee2d4760bb726f6409c2f82a46a166ebb7485156 f0fce7eeae1ffa41a6f0691e21062958b47031cc f2ec054802208841282d3caf8cb88ebe49e30b1bd7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295