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 44I W51^L{K=ac)G剌t$M|udoZGuTܠH4a^\^sYWLÛ%I6*D-b*Ȯ6)a"B=9N1XdnX %H,DcÎ9WD9ȑ6 $A> 8P N+~9;+N~}E}LѢO!!Čҹ$qǧF 1 |a .?PwNZWD,\, D;Ov 0L"DK YDۄRc=%%עdkv{2l ˗w?l<7n!a"2@d> +]'v &3`/PA#|5e,]yv# hyQa"莐ąQjʭ9Om}^)rQ/1`P¯C4ᡎw9Ysn~漍(5-7p)GXջPXUB`sڐUZR"a _垘)Y33J&Vke*3O|5gFG%Wwp0`x\۽L!3:aF+dW+6'r&n˰" FJы]2J$D{ι#=6unv x=:l3Cj&dlr>30cߍy~rԱ=7Xi:qtWވs.>TMKh1 /uFh{^#3 Ǜm kBezr/ޠ#p%! Kr9ScjJѷ(g,}%%Tx/@Vpvϰu8mR`}/eKvF/lcZI"kԖʼq۽ 1~o6KLϋ3($V?Ogܣc O'>^#[q~FOXXg,af|{#l|aG|St#3]A+`6*I'ʃ[{#]а(|?%dXt| *aD."4\ _fdnSxc3V[!HQT\d "ݖw{=!ֆ2nrM;,0jez;4;8UnOnʏ]gF[׌i֠zwy`[*@sV`g KBr_{) KM6(3;iM@c4%Oڨ-HeDqk(RhUB2RgVee5@}$No8Bo+UVtT7x5 *bGE93srQZ&tGnj~x4yCڨ=R/!'T#AuZ[lReDfnOŪQQ%FF-8> kg&佱'WjO(8LQ6C߹H^3q]ƿÌȞ6Qy'jx.oB\U;@.SӄYfؼ~8D<>~'! }o&N/l;IHܛȶȯ"dWd_F{V%Ao;ΐ;ڽvXע%tS\#TNpWxb3&$ 7V`vbb(*#Rѣ.Ȁ,[ TFR?|_yp|X\ltѓZ{j`p-r,"#g-[#LEfГT2 ib@8j c ƒR%e>J$..I*_l4F7R]y$ I+gYZ07fe2884c3463aedca90506275e9f2e53c964a31 0b69d8c3f70856201e8c054bc34357b13520292f 1a1436f28f19da44f56dd3fdc6afa1e3786effa2 3122c5b55089566c74375976fd6040cc34c326db 37e048eca1afc2c069cebaffb562a02b039bb22c 429952f9b1ab48f5480776e72dd795c832ab4fd6 5f027145b953123734f36cd380855d6483226701 79f31440868c5686b204e83e4f26f92eb8d94f9b 8913304f37a2c00447277cd0d64d3ffa149379a5 8c8981bb1cf7c1634b150ca80e9639d08d74fc4b 93414022e52a809ad6d52d57f2418d9007b685b0 9bdd5aa3a04f12448f7300dfdbe400d0b0c4b078 a526ece146642d823be07862c7c8488392c4dd25 cbdd9fc6d6570e1d4cdb5f290d2b154598908d6c d1a1fe056914a78cdbca5deac82d86dfddf0c2e2 ee2d4760bb726f6409c2f82a46a166ebb7485156 f2ec054802208841282d3caf8cb88ebe49e30b1bc7c621c8c679c6f81c939be460dee2fbe4c459ff c121e04b5193f7bc8e7b1316cf00321a124849d8 5f9cfbb3ee57725a294474ac53472d061591061e  XML