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 dd S/]Cauchy:threads=2elapsed=2.628cpu=5.204gc=0.128factor=1.987zXZִF! #]ŗXf1-/6vRZy_[&~ZD2[o$¢'CR ~G´;9tA;3xzs';E$":{p}YPD T+ˑ:DќNa9h:Cia jl5V TiH{窢4B2ؾP*sK} M"8VWlٷ⫊c 3/p:a'[/y0g+ p!PJ0Y8dN_ENpʦ agnK,;M!gs07?$3@Sm&JdġٹBu0cV#y(HfTgVxNse ˦νyL)6蝃/Ƈ øDܔ\dҮlVIi77;ɋuvFOr[W1؇]|mJ;#nYTA"Qr\ ~!*`R bIK# o}L/@   Cauchyըш4\ gDžkM" =Fߊ|gYZ7zXZִF! L,]ŗXi%KCFrLmZ%gط kD`GU(c/rq a%&Kފ"~1GwMXm^*BiX.TMX}}^Hu!SꫠT+!\}'duid4 zŀ t`A`6˚Ku3I}}ENIAnnzd'rաNBW֤7wVg muUtYucAaѸUX=DOlWS+A{?%7I`{o[+8SNA2CߙW8Mch%>΄XarsP]x-]0uߦdei" CZGYBv#O0Q@}~FWF[g:2Q<3wLpqYf@=T ^߂\_$AȹBOY^˓dHN~tKL=oD+vJHL.2@H}dY^ZiL.}gYZ91b9d46e1716b2a13e1d47472570929925dea7cc 9eed8fc1f6c54686843ffb969de40b88bede13a3 b753ce16f8428413d1c2f6b2770bbb3d076aa7cf d89fd00a601201ee7e3a7dd13c2b6bc868536dd580f4c0c8eb04f92fa9b72ba73b988fd158f20be0 2e0269c995c52ae68d15e9236e33080611f663f4bf329c8f29b8568921a306de9abffd6001aabc95