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 / Tt wS Old_Datatype_Show:threads=2elapsed=11.251cpu=13.068gc=0.388factor=1.167zXZ / Old_Datatype_ShowִF! $]ŗXf1-/6vR[]u^O0rv/=J&q)s"O^03am{$$Z0b繒} Re~|؃/7ކJ9+GU7K^L w;Em[Ca[^\tyx  I<1!aZOX>_8ZҔv6}&Tz+R;5[K[9w40O*%MO;7 //w[IS 4"v`EyGs;*;fNJ*/Ԩ#) MɀÉG3K]D4N@]2j}<:/+h=r\QI'&jEC3N?k_B̂=`B&JnJBk0tiYom\.j5S qKihCY 18pƑz< ƓV~|rHc9FIF)|W}U} qp5󼤉,p:;qufF1y<+[OgYZ7zXZִF! 5t]ŗXi%:Vް-dczMZЕeb"W,։:q-KG /1=?ߋRnhA)jQA.oHkքgY0;kh9TPjbAܟw R ^}eEɿX ]{X"m<:YOYcn;U~`JŘmrí/{J!!=!n?x?6h9GmoCz1(1.3VN =ˋs#p- k7t[ H>1aXXsYc(u/?_FSNRn-B~2%-/.p5fl3>l]唏,7:aNڛp+`0(XJ3A/GlGڠw9=S J̛]o}x=)b>%=*dž? Ocם̪ #:ͥ;ZXoE,Yln g38{Dcc