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   t# d$ ] Rewriting_Z:threads=2elapsed=26.163cpu=47.172gc=2.060factor=1.807zXZִF! *]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^? E\NM=T=eNy_MF4 T:TlU<@b"[c7DߥVeA/>9{~vj2۩h|z~HFU[D_`;|t>$>J i7\nQYp2V֡s_&4 Y4oTH4Fx,X5g\>0}w7#͡WCFޣl@U>0(psp(\85'e':\O_e3oSf?;]^pmC.+d}Lr4&xx"O# ˁ+tTV7zMwBnsy[eE(b gLއ K|! ՞fMY-#R ['tA^9 K"aS =y BҫxvVms.UNFm-P Ur0{'VK\}WYTτQEk4$g6&P>;+A0 e5جBap6Rdg`\s=nGݶnc46Nyg%rz%4C +ܿW@Ml/dr!;=HUIͫ&-),M'ӌ j>{@9<YG!HEӎ7(>S56RcL?e0R $ÖCuiD:=kTH)GfLCAV⭓_T:  SbPÄOg̃qUavt k.kIUoUZ& 㓳w?3M`S[W:"&R'FqFJ-ba4u~M*w}[U 3>#\ϣi`l\ .n]2-N, ,b$YTB->9Q )sS_Z %ynXTy91B3eN{A mȗOȨa@\>,8^DMm3՗맞FvWEQQ{W u*g4GMvrP3:UT#$߃uL|R ^<(}@,UJ1?9{F@.Q=UUt+,ZN0jlVn;] @Bu ÐBOM>B˚Yޣh>IS}wCO7(&P>T- RH=SS6) ch3`KamQ0͇J-"7{2,?0I⃯nd]%GC ;[⢣)s\$~>̷V;\_?g k+䮗| E|6/fa:%ݳոe=/D%GiEh\Ѯ T΁)-oilfbN_ 6YUWT_jC-d`k\΀ނK,gYZf971eec19b594c32c6b29d0980c63459496b8bb4e3d3de0c105787f07c71be3f3e76dafbe7c86cef 26af89b7d57c7a15a989446f8ee1ff99d4928d87 4a2d09f60f9232194a77e9151de6c7283d95ad13 # Rewriting_Z