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 ! $D % Splay_Tree:threads=2elapsed=37.666cpu=52.084gc=0.820factor=1.387zXZִF!  ]ŗXf1-/6vR[]SsףּmH$>O'1N12|xp%YI~/ ·"O@kX!"f_G^ g֠W`g|m Ojwj+p?  ! Splay_Treeڲ_-J*h#arE"e'Bla2 38)8>gG枬KQf3aE6 u#ap=_pņБm6>-}P!w$ rQAxoM\GC8m> P 铁~ɸ&b`jr!$BDhHK(N5~6v9 14-'ķΠ<({_^8^j.ZdKt)  &AfuW[Lkr'n`#&4i/(|dJ#G.OzB ;xX[ /t:N~8iѲL;NL%۱ )[lP-%YI__KDR-XE;O41N߷+Ot)?gױgYZ7zXZִF! ]ŗXi% O-3Oxٙ$B1`ƙa7x'H'v;N-7]CO%| W#61 S[`6ɛ :P;SN4wgl& $V^y0?SK4*gk'r;nfYEictxWvzbKZ&5uyDsoHZ mvOl8ōg~1r AO lcI&O'|Ϻs6iDۯQz;tE7DUvZV PC=F1>嫢xIH\ڷܦ$ZM|(8KKC(wQ k48OQ|)Q̈́4rEnY%OnRg?PPrN #QJw{*pn0Oz~5 |'1ѐMR%QUuGAi|E$$%ďGf*9P p`NZBj%cyӃC4vDYתqjH^ xTilTT&Y՚I)-CDn-EfYb9zqVE$4xVJ{{sQ` ݳ`(?ΫOp[HfF^kdytMgͽd KE1#կ%P.3ZdYɠQ\{ ,l`Ad׉>K a2tuqOA[D+u gp@zƵtөZZ ]؁Փ-;ȰүU hgPT5+ٵ&Њ]vN%INIW~D7LCBh{ X^aE٘&-pmi8h5&0w >WJXqxBxpO{Csӱ3{3acoL<($$\ ցגZE7Y^ԣ3R!/ߚ{SXRl*lQ* pCoK&\GEpH9' 2 cZqO '.^au|P*:Mc= | Eg)6S5e&sBZL={tt;ꁺhp4;"+䋨#1iEL߬Nɏu/JKY*|x")~|WڏGG;$! ^f :~bmq ܸdIX3?