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  s dT / SIFPL:threads=2elapsed=53.532cpu=86.848gc=3.740factor=1.627zXZִF! ' ]ŗXf1-/6vR[\wAs.xz:?~ZF겲T .WN ԨeI(H/ ON0YjkA<iz ёb ΆIEt)Z8 R4 ,V[ ^~81۲]*6g!*)>(v|JNb.tgYZ7zXZִF!  a]ŗXi%}搩g'jB>yn;SjC^k"c(2+ gP o5W?ƽwK)MCe%zhچ&ŃJ>tj@&t:Pt< Kmbα 6_HٙYWL\\ߨ\n#(1ɕlBO0o&(?)x+6ޭ=l8G=V2 $smw}xxWoAd(7Nf!"D'EQf_^e~'WpZx8mU2*2EF%*HY_аHIքY#ۇ(t0^fN.zYTT#.G! mp!dά w j䡡c.vWO/mbn TQWpR罞/Z%`"/k>l97HzIXy"k/.$Z K*v9kxLB HYkwO7Y3rQ,C\y9K( lUG9r8C)F)j|d=C;ݣ8@1!z'ŐCd`Et"9 ]/Dgy!%uis!JAKSe>y*!4X}$o}?Ώp6D8yDü{m%z"eت08'ԫqrxkᴠz-58,%85%h<&l8?#u?KL,0l~[-[ ;;/3FvU X2 s-~&IXF-F~L[W`%Gz \sLo_ lTNe|r5=o(?]:'>Y:B׎~*JV{9Vލ$ G[.3-dA6#)*R n(M~2P ^{p%pwiG1e R$5G57t=XoES}%vVٻI&Md^!S /i~LnmF,0r]!-ƽ&p5V $e@ qT6AdfHq-!<Ҩ p5+wͦcVUa=Y\=iװQ7L-HӐh WSv 7ETBsDO(75 hD#?E9M "]z6J]:BOtٷ 5tGk=<ܬaIp>-R^NJce 2u8ͤ^EqL|?4~?Q7ǚ3:W 0a>1uۈ ]|sRyCϹʇUv (0"8Be4S?oj!^lxR`w nx{ʬ!tLquj@q5jWܾ D\d?E6f殪?B#(plm㖵1aϴ]F3LRWޅV-%$.xveƌc\`Z܏0c}+ja@BvVـQ"[le4f/* 8_ٝ[dI?ϒTVpu ]䟯rG,)8."+fY:Q)pF {mղTŊNkSU=c۵5 d`Aq'RoP[)m2LP3z;2;aw9xn!óbHMUTrӢO[{ؕPh$Yv,o%1GE\87fGrWf-?=ȏöDtzqF8X`QMA*if}bYh[s WPKJT7\sLWl7@k5ʱgYZ1bdd939ed14474971d0df7f78203c6beb0b96c80 1f6c6ced57b634dfc491a1b0f4f43100fa15e7ce 2e81f3bf3ac2f6d5d98913ad08fe438a86ebd1f7 3bf699e39322acd0050efb08776f8128cf172193 529ddd7b2b4d0e50506dc5753c681d736e12b39b 650dd06da287c3471e7bf6e3faa11d1084cd7bfe 674c796556076c482eee88306b92a22b545c4ecc 8b9cd08b0388155378472c2df66b44c74f6609db 9b64ff328332fba31688cc81ac71808e5ff0cb5b aebc0d54f56c4e2024a5c1885e434e0ae881b697 b366ce873cd8a8f23f0d3b8f2c6bcf84d7f1716c d801ee468e6a7a5bbf9bfcad49aa247d13eb3521 e45a8a6681b5ffffcc2facbca4deab99a9f46437 e5f381a59fa769bc18266b4f648065c139b8c5d60ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f