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 51 | ]Abstract-Rewriting:threads=2elapsed=35.782cpu=60.944gc=3.128factor=1.707zXZִF! !|]ŗXf1-/6vR[O CИRO!,<^6܁|kO/gMRg~ kj'׀bKcʓHSנ[8#%M-p4gMnRXMd @Xmw{H<42zkzVc9>E^lO˻kɟG>^CQ Y[bèV`h9ևob+*}UtL_jytG- Ɉ"NH]\M-#4m/ Jn0BǸa+E@\cM1y[H||E:>ݺ`}kkS9S+F۩;Q7 C̿ 1 Abstract-RewritinglA/up  h6M6 1'3{ѻw[#QZ,Uq%^#V\,'H^uh@0R})_/Y.'%˖F8h}? ~`VFVCUoȿBRl4e2={*W &̈́ mvY cr)DfUpߜ@Q{W/VAF:8 ]/⩼m,98Wkku;Q;cKyxuZ*9@_b|4bSc)84r\[$TMT$'&|,bBPӱgYZ7zXZִF! ]ŗXi%6בWR^ JHtco*A?t(  U-B:a-n~r#ϟ46,<$5gF>-Fqc= *Z3+g/)'`<ǯhCFXØ-0Op%rF jB9Oe]& ,rV{ǂSOW D(^OD) %!j;FS/C9A[c7u,L [z9ZrQjyfmt%%|56ɐi`Sho i Vz>n|Dx3 ,eERhX"V7Cplc?֊f|0t/IWuǹ//^C!Bjo}ywwanW.FQ9DMu&|h]՝6kRutߺ=ZV i25(M倧\["lOjyџ,E_Ƴql|!tUwl&WiS.vpb[xG m%DJ/>t?Բ+ *47ka c?1RRCo"?tMJ  6cffyH`PE C>ᓉУs-.c}M^31g@Y6MmMYEsmj>KC"i|tģ)as^ǽ mT0j=K #я=3GCk]űU/jKJzg~a\t6l&8}RR,*wmIH䢭,I~eG_4+6k˜㕈/6+.Fn .1d:MZFu`gYZ06449ffa42e3ad9928207f59223e44cf25b2ee37 0fa41d9493629a0b6ac0a7a9bbc691f41ac1d7ec 2668664a4d6ebfa0a1a122ac595e6b00afaa2b3f 39a8a766be9f8e6946f51349aaaaec15ccc47289 3d085b2f15013ab9cdd8983b82002e5b7e45d759 3f397fe13f79f49519626b00201b8a6d2d263070 4b27138d8d54cbbf4f923a22265f7f3ceeef3354 4d7593beeb8de8161a2b0b3016eb39eef129d064 6b3f34b31437c70042e95bdd0a1d13e4c08cf201 73182e10856c891f435f0cfadbde98444ba98426 81de4762b4e143259c5d9fb6b097811906b676c1 824ffdd9ada10c2f424ff25f9c7b62a127a40fd5 ad8bcedf54dabbe9711293e7a3e27bcfa6b14d82 bbd26ce1c989093f4b03a80d62bc89a55884df52238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b c56ae9d5441b629f77cadaa07ce128a6fd02d228 eaf37427e14379c6b5bb0549a2d41983fecb41e31432408a47bbed2b2d743b49f299e7c2e1427380