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 EE,% 4| w/ VolpanoSmith:threads=2elapsed=8.864cpu=15.376gc=0.644factor=1.737zXZִF! ']ŗXf1-/6vR[iB9Gf}P9O`3;%{Is`9"PJhqu(ghb}Q]\7tVgSVaǁ"OAyՓgC0bKf5ўURF,n!(uĥ;'s9gyl_OVm FɶPHaCZ^FyaЌbUkH3X[;!8p:l$CRK3a d֥Y@_L5jGՐ 3}6NZuc+!ip!H =o1~gM/%@۾*tYYwq=[57,  ׳ &=dy wtɬiQ⎯nmz~H,цHux5׸Kjb$"z3ZdqU4KB?P[89nCs,IbM(vgY N.n"R%Cg0#Jb"\S9ґ^Tp 5Y?J6ݔe9/ݴR E`Ŭ TثeS~_b" e{ ݳݎ5&0 Y绡hlUUB]5G5Etͫ m=UyLI]:X8fg$F/\lNugYZ7zXZִF! 5]ŗXi%B׆]ysM uH7Y?ϲunq5 Xyc*J) 8!џGs7%Ξxb a vg]ZEُt{'s!_( E?Ć:Gf;Әә9\b`!`p y{d8b]\@k7~*u ^FYH'dG{q*dBm4|qO\îw*-JGk̠h[TvzLZ缐Q`Gk4l`Rؑ_hZP`kvFQsT{wH穔2!|eE01||:v֯tKs 6Ls26iW9hS&6D8Pp [¨'f*V{CAi̮By5zKI#VRKGɄp3 "UuZvPz[%V1ԯЗY2SVbM 57 F9~arT{/V{SRfTWvOJ,IܯI%~*Ֆr)C0X{:AJG! t]r ģ ]!P 5~@#q