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 qqx d } XML:threads=2elapsed=19.733cpu=29.904gc=2.048factor=1.527zXZִF! N#]ŗXf1-/6v  XMLRZ*Dc,T q}jX,q~yĎHA'? jXu=kAl ^.^v8oֽ)DeÖ-_FA3*1ķ|.&HBwFhvm_I @Odhpք@8b.G4𸑟x45/%iP0PdWNR~[@ebk|}"j1 D 3 BR5tA$c.9H-t ,zQd }1An6pz\b W>0Аލ ,Qp)MᇵrZBz,Cc+ e6 *iвQ< ,Uk;PZJX" ;ˇuB6i~gͧk"&pEL0UYgǺF nlK#k׹m:2Mqfhk=O 'd`B"-Ig2E6o%b#Vps5uqPaD$(*bB{V]?;W,Y)^m쬟b:>Y=*;df *1a%n,G(s _qr}ZfצޔS5,_|xaz&xÍV{.y7~L~*4#t*g{ZPQ.| @(9V:pCޭ[mH񗔑"Hº]_JKVﯬxf! ehє:۞"Dۗ> B](6ډ3pN+d P? L䴹Rkۯ1[rGnPSQ 9[%'eKux@v86wr6{)\U@ua\@rE l2S?Ir|36Vԇ=HӝC_- %VuR_5t&{I%F YΛkܮ<ݺ!fHY** Of0Nqo4؛Ť:\'ϕ&'u舵0Pƃ5QoiKeNFdM%*B&.]扪92acR)v4_8(v5,FIl`t nv IBw`254'c^GfxT^2~<蒣"!4G z7ӍVrZ%`3:3Siq =H Rc{Wc^)i6a`{TqjSUv(;?Sm'"'ɼm j51Tb6bk+w7QwpJ\.wXKO2z5U-~ !1ZdZl; Z@fKh,x Sk;dW]a޳I6+!y_ +Oc-ې:>:Nʧhf(P8!\͔xJT2Eh#6FUCFYh~JP)!7?&o:n%'E n/fE5MKakG(2%Ō#MZ.U(Wv;3<((hj|l& 4XPK}c63A Hto&5uuq#pB&VBʛpq)(_|La'Y#K;ILVp:^J%X/|ke/$qa%p~iZzr=z5oKv-l{y̚AUI6LĶ͵®%{ws2^t޲8.֞\j;NN`j!\7/̈́ ,UUߊε$5K*2ce=W.8olҐbaj>2~ 4Щm՜'{ƺe x_I}Mp>KͰΡFxsmƔmWǮҎ5Wػ(x vjcx ى9,I<ȶ;@ @!.HEF tỴ9ÝSKoarHmG|Xo1 c a:-gYZ07fe2884c3463aedca90506275e9f2e53c964a31 0b69d8c3f70856201e8c054bc34357b13520292f 1a1436f28f19da44f56dd3fdc6afa1e3786effa2 3122c5b55089566c74375976fd6040cc34c326db 37e048eca1afc2c069cebaffb562a02b039bb22c 429952f9b1ab48f5480776e72dd795c832ab4fd6 5f027145b953123734f36cd380855d6483226701 79f31440868c5686b204e83e4f26f92eb8d94f9b 8913304f37a2c00447277cd0d64d3ffa149379a5 8c8981bb1cf7c1634b150ca80e9639d08d74fc4b 93414022e52a809ad6d52d57f2418d9007b685b0 9bdd5aa3a04f12448f7300dfdbe400d0b0c4b078 a526ece146642d823be07862c7c8488392c4dd25 cbdd9fc6d6570e1d4cdb5f290d2b154598908d6c d1a1fe056914a78cdbca5deac82d86dfddf0c2e2 ee2d4760bb726f6409c2f82a46a166ebb7485156 f2ec054802208841282d3caf8cb88ebe49e30b1b07addc2441fed9b50c84968593d4ab6a353bb724 8db62e28615d4e139a28fa3d5b23cc3a3410b988 2c8670420f1e217147d01cec9bd2eec9fdce3aa3