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 # T E/ XML:threads=2elapsed=19.504cpu=30.080gc=2.028factor=1.547zXZִF! P#d]ŗXf1-/6vRZ*Dc,T q}jX,q~yĎHA'? jXu<I L|:! B+u+&.xS -]lRODKU2?sZ99=ʦ_ҩՇS=%QjD& 2[gk^è=,7  XMLg`xZBvwqw=ŕ-fQhSX;Oz¾ Q dҟ"O.3*gV' 7͝N^L|7ES̕iͿ ɥ@pΈ?=>: kݱN.6 bR|˥sfZX/'j/cLJ^5hՙޖQm~x5bҗqG;bn=H-ȚV Hm'CKtƹ8V6~rKR5eiRIȘ̱0MJGochN R}bu7b \ɸua2݋V+gy…6T4.G!Z!7-K[_%UHTEB#3KuZ~iϿ-/>:s(*WgUW dcbK>o?:|Ke4g0ʓq5#7wi aT,Xl~[QI7-Uqk]e>tivM ̍'q^vb9>wJK a14sˋU%pY?^\,iwKd/3 4d\MV.e]; d}yHƍ<@iVx5I6vnؖrU/n9`1xs'ua4>%VSP3?h{ܦ7$*Ӧ`/H*̃ƶJMmvvs^s&ñLЬD'XZ,֣;fˎƻ߿OjpM9ɣ]:8E!^QfNu4A5esy-p37c"B@T"1A&ogQ,?0컠һ; LmpM%,]#P\?{z[0q`@F2؈/&;1 *Գuöa!8W}үP'/>LzUSSE>M[U&.hW:tMۉɈwL(gAYZmuHdXZdufkԭ[.kӔ bx>+K̫PD*7?uTof+xawl# t7Rhfk:v :e $5_Oknpk1n:NL)^=kټ2w6;&Hn4nt xVd>Xm,$8mE!}PecD}=y5<y>{lΥ\o AUǁNWt ,{m*Qi=DA7]af8;am'-oØӬ={ J=cXꂘ^HgYͤ \@Z'e П!u.)Ybc}XQyKDk m'Lό1DM]gYZ7zXZִF! `F?]ŗXi% Ϗ #?i` H>[Q`׍k t5 O X𒤫)dJ4/ux+:,vsmnSməpTu)ʵytEӌ2LZpԕiKs` '] m`Av3 ]n2ap_ yt^UǴ5- 6cL7)Cdlmj91ˬV0-ݏ:d4+`rߜ-4;0K]uAG}y>8°#-,ˈ3l=]꣄\ 7\MV,7XL%ŢU !Qu_J*8MhGRIvڄ|,I7$7,D9>NtroƦ/oZ_k<Ĥ%7p!# QǢ`!fB;o5ҡYa_%w)FQgs(K,cxv cl\yJt={gP %ŀ(qIǧ\}_]fRBy A r^Ks| 4NDZ] @NKo ^G4=,.=ݻ`J(L^"{q[7Hh*s ou!8R E2w\-oVT\yWi3 r&fyh_= eͩT8wo+=EP@A R7ϸO \1;t[#"ڨ "63gj蝡"ܝy0٭ $k *3EӚgGp#.zwن{ N̉yW6P$x;\.476w1WDS)VJg}Th6nLmӻ%ORiۺ:7l?-t-x`~ U8v5՚VY*P.?]B+7ws2ҡLxqݔK $&~ ]!CN5''bp㯤S6gV D~~ &'z~g@Or2~)31BZo~Cabc;,r(Kr!zɥW>^;Cr7@;z5?@pc\s/EJSѴ'0|*?-arM~V,`թhC} .Q2gYZ02e6745f5bf1d5a2f90e78e0ce6223e709dd3c07 07fe2884c3463aedca90506275e9f2e53c964a31 0b69d8c3f70856201e8c054bc34357b13520292f 1a1436f28f19da44f56dd3fdc6afa1e3786effa2 3122c5b55089566c74375976fd6040cc34c326db 37e048eca1afc2c069cebaffb562a02b039bb22c 3997ad1247c599ff5ca5a09326a165d755ba9b8b 429952f9b1ab48f5480776e72dd795c832ab4fd6 5f027145b953123734f36cd380855d6483226701 69b4d87e9cab0b856337e17afce32c08395ac7ff 79f31440868c5686b204e83e4f26f92eb8d94f9b 8913304f37a2c00447277cd0d64d3ffa149379a5 93414022e52a809ad6d52d57f2418d9007b685b0 9bdd5aa3a04f12448f7300dfdbe400d0b0c4b078 a526ece146642d823be07862c7c8488392c4dd25 cbdd9fc6d6570e1d4cdb5f290d2b154598908d6c d1a1fe056914a78cdbca5deac82d86dfddf0c2e2 ee2d4760bb726f6409c2f82a46a166ebb7485156 f0fce7eeae1ffa41a6f0691e21062958b47031cc f21e3bdd1602f0c503a37d3077bfb33003149289 f2ec054802208841282d3caf8cb88ebe49e30b1b3b94e1300442e1a3f5f809d9b370cfc0bbbae59c 6e537c63d802c0bec001927b9eed65abb991ddcd