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 jj1 \ + HOL-Metis_Examples:threads=6elapsed=11.867cpu=52.548gc=2.920factor=4.437zXZִF! []ŗXf1-q恈(K&Կ6lZg ; Ub|q`?rhtb^$iX[ƠLq' ʕ!8ip숤<ߦ@Fx|?o.~J_7vOᆳzXՆAbL,f9 $_Ckm~&yA3+3x(['ݻVjzەݭ("ZkZgWd(iX֗@1 d]ĒS^>)J/ WA3L흍CuluA\kGЂ@T 0Q23j#ؖ 8AyVIdD#:CMjFL*:-1 + Ү'ՎӄZG{]'X,`1)SRr2>|Mo+v+fTC BdV '0+^q8+OqTzU{ŶRNlEp>A]\94K8!gdE۞[+4&"ug⁌xluAV#|2ĹddY>ktn!=ʏVa PuC9:.iHoXtm:5B'WYP_Jb򪾹fUhh} ]-+!"@9SeFV5I\y/ba]`x҄d *e'VZCD (W-WvfgcXm1}9GYo4o*>ɱVU\ {0N-s@g.`A96x>~P\4uy3bբWySNApm%3އ?7? #!V8J=C5_=vA2,4tcaq/ vC_a,c 8 .rubF ^癷&9n)+]Z7r]>uf1弃>V<TޠIu BwV" sF^bQ؈݋a:+w"̝L$bKś+i\F>iB@mV"v.h,"k."jR!98) -xl^`_!,Q(Qy Ri$PW.x`[R{xʑjGK.]468<|30ߊgjhkh9%Eq+Kq/hqZIi Bs1?0)2bV,1y4C6C:XWͦTY2X?a$(wttY8Ůo0ݙQԫ> :රP/ f=+9)Ql%Br UAڠlG*I˷P 恆3W 2`#K>ODjZɗ W Q+/&gc_8C8/.JDw,+~|&l3_}gl;,} r| %Hv)Aĭbdp7w ;*u$Or 'J2\8'r2t=lRa.FbYac|A<64γ H&z= _uX]9&摢mKAVs!5Y$?VwvS Ӱ}E'l3Y~8OL9 q*άgYZ0e2369879c23ffa3af808601205c5bb2f112917a 1d0185456c84c1ac52eb1af2d60d63769a32bf0a 22e1da7fbe4d6c8ea2c63bd30eee90288a1de6b0 23d1dac6518197bb653bb2dd01cece9190f4f6a9 2932e8acf4b7611b21070ee6927f2e748edb3353 30afac17f29e367c46142872751722118953e506 37f9ef6fc85bab2f1937ed81bc66ed57d9389e25 4ced3075193a3da52704475288420dfa4494b4fc 4f0c77af82d612cf4d1f6af8d930c9b232f46a62 6cf4847e81aefdb0b84967237fe250cdaad0fb9e 7994a7ba3037704e6c7621623106d2250b6ddd27 848fe41a2972381d353dcdeee71ab681f1b6488d 8d8f1e54418097925165113cf7def28df2fd1a0d 9bf2a719c4847262ff5865ce539ab70d1e93ff5b a57d9982f519f4520bc5be96b6cadce5780761b5 e35b62887e26e404a56a924a6d822ce0dc26ee177407bc5e422d8a419d0b388063e4c67f943c36ff 2953192c9b84ec69949efc0b47b4467e087e5b06 238bc295d892ecd6acd00b8405a302c69f482fc4 1 HOL-Metis_Examples