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 3 |< S Efficient-Mergesort:threads=2elapsed=11.861cpu=18.052gc=0.748factor=1.527zXZ 3 Efficient-MergesortִF! 7]ŗXf1-/6vRZCV4 JpۚF։}fj.gP {{ @> ,BN]9jÜqBo$3~o/އO2e^.ȯD\l$R *'WHQk}ȏdqv=5wk~G2eR!i7GRwGvTO%TH|lGK1FTJsb̆pp>+ C L)z84L섽\ҧ߲{ p&‚am#<@[ba5kp IHl9D5l'M[X-G*),kk1 dD& 7-0AibZ%x2]L4~]{J 5,o)g_@J $)~_<횦گ}[ډGU<{]NlvX|)Z8u5y|?gtdY\8xDcXH,ZE$ F]s,}< @fDOm 2qX%gsgU/8&J>AzӪ`'XSO׸C3fTgYZ7zXZִF! ?H]ŗXi%:2˜.ڤu-"gi55| roidBm΢CuV0oZ*{eiFR]y3kOK4c'$ KWz`zKT|>zW@x(tbu*\cq+.i1,XŏU0uLQ -@@O+Pʛ1I$GPnA OEσj5 u3z$hc%ҿ{Q#'j9+R^+M*h4o/1u6c ٶM '^lmN:X/)fVSHl_zWsku@J9\ԅ\cΧ7fy±Sz6Ȃ(ygw,Lµ݇@ ݤ"!H3fqFmU'](B :{gx;8焧13+9eTo43)6h4$Rہw?1 l>4T7'@gP^,coQ[b `m(&lzoqg)^AdP](}Ϫv0 ɲYcfMؗn5dU; DjjAJ@ !/D8?$Dn~YgYZ17299d3ba8717cd4b2446b784f149c5440aa8081 2b44293b6dd20a34d66bcdeac57b17e8d0e4c8a8 994a0fccc0fa771e9040b466dda92c7b26d3507b f4ff102916e38277087917900c2e07571faf20a1878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457 74347d6b35213cade348daff365b338f4a554a12