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 f- L m HOL-SET_Protocol:threads=6elapsed=21.580cpu=89.592gc=2.068factor=4.157zXZִF! (]ŗXf1-q恈%vA?'GAq,$L;׺N'nH`dzAFp{Yz+k1 ; lن$6dߞCs 0Ҏy q%И.RuvUa>ͮoo WHrli/^̸Q@];% D(CAEKZs}4u]zb, xUL;^۔RrVl b 9abzU~Y ym'9S1íkir9fo?T#.#SF V\8$+P{c-j.^`6*! {>(O;ZHM.¥f!&l|iddU%yvC5i71+3񙿴2[??cc*,4P.2%їcS܇*6%$L B_x98~ z+Vf@uLY4`n{Ba-1 74/vtԆ .+~'|yQF^(aݱqmcynZTl.`N[QK1ō/6umEKrtܨ1rcf4!Kڃ c{&T_zR∟+A +A3 8g&^%V1&SyNA!Ď4Z$C1qd^p9#v*>݄UUe2l"$KIp)/E,TJؘk7?~!ht[{n}ˁ%b2j6]BsowDZkMwKw4 9PN벯gYZ7zXZִF! e^]ŗXi%-4Zɸ i7x^g5Mt2+g'-<'rGtB""p djPH v5-aaGiE() z(꫓yEHjXE4N=z[i(f:0DŠ*EwKе: eH7/REۨM@ & * G %hx.C:Bh3o.Vd?Q}f0D[XAl^}%Q1DQCwٯҽgu18?աs҆6V:Ú7jz^5s|F:.j%ްô10\>gtgHlv-+'~}_-5GF(maeѰSC ]#tUh3ΝyGWLNE%(03IPfDnCV Ӥv`Stm|Mg+%@.b"HhIB <^`)s%U GԞ~[k>S;tLN* Fym?QdW W}rч/~XStx#l$DԔUAYP}l|:3ݫ@vqdH5lGBJfdÓAUFhb[of\ԍA;FPJpJ3E!gð{$Gisߝ2 pwwPt"e7qƱxUPQj2`*dנk{ƒ*jg?22-tݟV6 .[\  }E5k,( 3qnq<t0 E[,qf]G UuW䷊z8Мbq٤?UJ=O"\ PGsS՜m'9}>q>ir 8aA 1,vC ps>UAKW c+BhܙVY,i}9)RQ@}hV:ec}]i[*HSC\ ,Vx0AMnf7#BqLm%dze=!уb*&J(8qz"Z2҇xM