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 **? T c/ HyperCTL:threads=2elapsed=18.132cpu=34.636gc=1.780factor=1.917zXZִF! i ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVhE|wK]az"kx]L|:8[@#p_%_fƥ+ e (O38{zk4V 3:@C:|NqcQHRu#)4 ܠdrQd`,^5Йү|hX=aOo*;:t=jxfs覆![4f:[6k?x@y.$ESS1W<~9(KƤ^g5uGiٕ&i>sRLtN-\^g!xq @aic ޏ$bSNDUc'PغLuJp#-{am>NUxI`|mzGV_as B@مʿm|$΅$ZHe&T BYAa`_/a3#ʬR5u[>)blT._BPbfI0Z qf< /@A4CbgDH{BYlE$"܎H * #"jY'}9/r;Xޘ=? 5@?{BȬD3^gꀺKsݞV`޼d>YL$8h!ii;!VLf^K3?e% mJ {' ӇkZ#u&8vq,p33]2,;ꇵRڹ鮕E61^^ւn:g(B\Cu[D)eK~tyjSWs9do"Q `xj@^enƚ=AY٫ƕAk=b:sߥRU 1k;xat?bޝh):_,Sf˫d@y^C9ܣ AxS@+I\b'鏕7\gVZe&i#eJ$:\dzK(9 !)+dS(`VUsg cVjy~hfF-]::d;X?]Vɝ٪:My &`_ܢMm۠P(>  7*GWHN+:R2$t>wRrY0sPڦh)@8SW#o %*7rw2ת٘lS3TH"wh3KJI%gM\zW4W8qSF{7z|~ FEA( wf#yDL.Ai` vi 鑢JVI:PmY1n,0::AMND^ qَ ʛ3q66%qR>`Ub2EmgYZ7zXZִF! ^]ŗXi%DQ>3vDWx}NRbvsi[ #!'ÚfM%gN*ݱ1+ ?("~iVh+?y ENi 5oEEЭ:9;Ɣnjx;\ҎţUZW 6l3]a9SO%.ʲSؤ_fK?;/IZ ?l g`j6e"h6,;ն?6$ }=p; ߏב"P XVIQܹ^#.M0y_(&7Zj 9w,lcZ'/lnr,U۵IrH{zrS'ɉԽ( t^L8V[8Ow.NOm0|N@Bլs\l̬[;}]ݍWw4 wghj < S\-w`؍3DlJvcƛwʌ(V*`! dД)P9ЯI&CG߮Jџ(Ox?\-Kުq CHfjyJ3d3ȋ44 sW\ jYEXo^J.3D&"-@2n> @~IظfIW86nВU5|z`?A>OEQRFQϱMY3GXjTʟcH?0bq@ ZϿDo1γK)A| "'1