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 FF') D %S Dynamic_Tables:threads=2elapsed=9.119cpu=17.700gc=0.444factor=1.947zXZִF! _]ŗXf1-/6vRZaK Zf 0kߵDڞ ) Dynamic_Tablesk@=ڷ8{8 Ґ甌(IV$?fGu\ֳCΐX0t6Z'3(4s)\4X]}{op}ۗ:DJ/,ul>&j~R grpp(4`oiD =r+fc&R#!!O({o^-#Lk-n@Mm{as+eݟ۷)REI u(W457Ew@eo1 ߔ g'dAF*`-)T m݋RWǢj ?va( ~ܪ7"RJs9<rA :̾]st! zU Z:g̳/Zx^v 2\ykJjgQvƞ+Ii6;$gWCz}OW)wv9tV-FQ2Xc|D5PS@ïZ܏xS>y Es&; 1ɏB>^8DfK$auY t{zٞZ7G-I-QKBa ΋+iM,tMh+YdƮP,ݏs5C_x: ƣ>ә `ύ)/n.3h6k߆L8ad[_c>SYZ@(E^lJaamT˛XSH- !d 夒])rYFKP|M'uI*c0F3l_ ) 4vDrҙȉrP_dh4\Qr. /kĈx.LHQ2%!fhcHY{^ݸmzA`}"[n@&:.uώFjW |z;X!E_R:FOnk45jҡq#)>}:/ ϐjV/$2[,Z%x+f&0qsՂHK|xQ Ş5z-ҾSb1' ;y!B0|XJIdIJxCxۤ’yIәX<$*흼:N`,5U3LhT,bݍNI $FG+=W0yd{w4kGRjOq#z6PyI{FF:`Y:d=91zt W2/j+}̏$i7/DuoMYmgjQwğmK}H\N:.p(]Ct dsyo%7 8J` b\jI gS0lޏRTR^E JWXsk!Ԧ&(ѱ'},C9+ߠ<•iLs*&pwga_^S׾m}k'Nl9՚ W-`IOuо${z]E.]R8X 6,%ЫN݁!rjCPB`mM 竱 ofc9KX*AknsL>rC=M%-xhJHk} $Ht*Kf,u7PcSM<7@X)Okƕd lp&{@.LB ~# Ҁ qYOYThuruMlN&C~?sJ~X[+k;!tQ3&bKq\2ϚLdZv4>Pj -g<ȀgsLC6F̧xxl/0Rbpg̱gYZ4c559ca442acdc457d85e89cb5cf8519ef3aec09 54422d2e441107a94c985566f47ba6c8bc00fdb1 70b069c01fb973ca7b7242ff41b1634fcf9264fc a38b3dd93eeca7b645dac42f5297f6b177932aff a9fe49119bff4bf429d6d8a087e420d260a29e59878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457 74347d6b35213cade348daff365b338f4a554a12 3fcb525674dbfad03edd6535300cc4a38d9ec0ea