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 <<5 l, S IOA-ABP:threads=2elapsed=6.340cpu=11.308gc=0.184factor=1.787zXZִF! $b.]ŗXf1-qN50^%Fr#W`z'eR?c2u)/Q\o ȿƖ[im}p>+|2fЙJaWC&k,p Jº(AgWR8+cEjg8~c7kF+>Ca3aQE2Hfn4Otܹ봸Mqd' |PmpoLXx^4Qmh=w$"-bO^5 ZPTXvv'EI@J伀A9mN@]muN`їX%.|.5~RjVGO̖qK   IOA-ABPBԦ-y ֚u},)rGhAfTէ1lQ ՜5lDU~(#T6Hܳgp6s>*3^8d:wUidq_.=Nn%Kl𮡊v26nW)w!zoC0S3]Zz(2:{_xd 0Qpˑ!6Q.KULd߶1d:1tI'QzءȣH1rc?PΑc/[^SP4,y,*,N{n߆62Daڸe+"[W5G9-޳՚^>SJ"~]^ķOgqsmہwA|y54Gz YEgSy8lZ['(WfS%n}ɜbG4JH.%FgYZ7zXZִF! ]ŗXi%BO&`&E#g\OtUELsܩn,@qg#h~;ށ.n@&T"s+%p %>b:tO22d3ݘjs\tՈp ?2(bۨ<+1_i܈17ړ1"mfj6V,,paccӌ8β\[ f2h mGrKJv8ϛkJ p2ႉ_w+8BMFA1_'! (UL/7)\)g/d{xm6@0:L<;668^?lݞ<$i!)0JyScez\Q, J8AzBKty8w$|dz~kfn /(C`JґHǃ=V[|dJ*8ğP&-Rg6)%DTcb#޿ J#޷{-},?RM{BEGApPRl#uS!&rrAشeȝf-QTLRU[x8;V7 x.u_]߾|,eeӃF9x&VSd1E\`U=bRO"(?ԣ\w!ŭZ%6x9aEiO ٳ9ɔĜ=qFkLA4FgYZ080dae06aec14b828aa37d39b34ee8b44a0e18a9 0a49159f483e2644341db188774a133e432281e0 315dedad6bf63cf6376d19cef535f51d6f332a63 761afef055995f90014adc08a2d6e3587a21b474 781fb061bd38e288d34cba0200e25981e7567598 7d12d7edea3a531180c2c2053a7322a41d874610 96e3a471d3b874ddfb93bb394ac4ba897cd14b4a a603ee4196c9d72d68023e7d2f472dad55892814 ac0049eb2877daec256c11b389dcc78ac1242da1 bb576dfed7c0bb787618e694ce9c0e86609d9264 e3d4f177af568ca9847e91ef811aff305baecce2 e57fb5cfccf4ecbf13bac53bd1c7abd1fcadd289 ed640e6cf4e978447badf183263663509801dd4e f076f310f70c80397c6a792d4576161a4a9efe6f1d303aa48c02fbfb8fe205c90ee243804756e6a6 3e7d2e5aa099435bba6e4e30f924c9df17b4a54b 418c966c45dcc7bb77effa133124dd4ac762d710 5d510562439427063eb7334aba6321efffbd3280