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 //N t  CCS:threads=2elapsed=21.227cpu=36.116gc=0.792factor=1.707zXZִF! ]ŗXf1-/6vRZxi}t7hSyv=4RXF7s_s~vt%x"̉#Z;`Ţ8Q]p֕_ kUbָ5瞮 9E~ Uo@>Hpѝyl+E{c.Ź}LJOq+ԅ$E%!k܀OziT涓Ib`.1ʐg.!U2҇RUC]߻B#-pWb]>K<#s3Rڎ^24ȢZP_o c#/C0H@T&hyvU J:VP6Z %~*Q*@ſJP[>5((9 grBd \џo-{Q+ Cs 8VF Z0lWfcʘie89O.I@*§4) }r>q 0dCv$nK%gYZ7zXZִF! p]ŗXi%6uT1fġ L_=`cSEzgQGH̀dD/@]%tUf3eF#C]=]c?h1u'8 jXoR@.7xl\h8bU)x"K0Nw: #p_rh$0{w{O !rs$Ck"6edf,sL??wl?-(PU j1b3W_Bj.Oleq ~BO;΂[~nPQsܥR>. kzL;|έF$fkKV4ܿl*4]fEMBfLo`h(eNݺl:c@4( ֳ\v+pbG9Q+Kܵ'A92 a m®lX+vxU }("!V .R)ެ+>7VNlwY Vݎc6wDNh3*)@qP>> ^hj+; 0ȅ-TxvKq^oֲMW%=3eqDr͡sAZw@/PZ:YYNey!_Hºml%!OZYKoq]~[Xg.v>Xe3)ŚADݏCuO~ĝ擟i ˝12psnF$w0]8f;3Ӵ9FO{][`Fg?XO+#A$*etʸ=$-bE`cTdfv~&7?;y kno\  ?KLn9K[=V0(r`c|3Ҙ *ބea,+ BboDU+Ձ/\V=SບNvMhĉFhsm%qN1v3ՉAp P ̙BLAzҧhyn̝KJ^09l%a}:)xI^b9ʶER37j;r "_ܱgYZ01733c6e4c2c1915db4efbdf15f8f48305e6bfb3 11c75d00b612dc5802f9f13afe0ef664507ffb5b 1d63adb9e2f7185391523dbb950c8407e64b769e 20da989a6ffeb514c7b04c76f6d085ab23ab4209 2909ba99920f63a880b3e8e7ad8494ad01c07e9b 2d3de66ea801849aa0987edb5bbeb27198ea05d1 306941848f8b6748a98e5d2c5cdb60c343a6a9d3 3bb47bccf9c60672e53d4b13212d3dc75f4c2298 49d1932fb6b0a8391048aa1c31cea3999e08ea4c 51c55857ce18be4352fdd090ab576d218e59b0a3 5c234b0c27f6ff9f7630300885063c9501f1784c 5c67a0fc959472193f4df04615d8d890bc2bd34c 5d44ca43a410e7a28fed6e241b48c65f85021ff8 840c84568342edf8bac92454e3710d1cc9097920 8f2275b4e3a7eebfcb3f3011d89202e8a4fc2230 a1a8a914cc0eead1b931e4a16a21d49d347a0288 a5ab74f1e75fdbc09f0f8a270c4685962e5caefc afef20cf74339f762775029bc50134796c5621fb bbdfdb18aec08581c66ada7952f092ee36f5b5fb bfafd70a7cd13b719b4067f0e670af8c67dfd2b4 f7cead6b809f1c1012f2032d957f24335fa8e914 f9d6eed25c58952c100f176b559b4a1fc0fc851be4688efe0911f3c4685119d2413b25847e9bdff2 fd75a6d445e5afaec4d07c698e0e0aad8327d77d 3fff795bd028fdbed79ecfe3213a11c8c9bee64c  CCS