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 dT S Efficient-Mergesort:threads=2elapsed=11.688cpu=17.324gc=0.656factor=1.487zXZ 3 Efficient-MergesortִF! ,]ŗXf1-/6vRZCV4 JpۚF։}fj.gP {{ @> ,BN]9j}Otx38xzv8Ox";_͙ Ey]i 'BPo ĭ3 > R^bl.hreY$_cr2gU⫦Oȃ?`΅|&FK9Tv~k, ٴ?+/x@[aFIt G<6oԪ CN!Cȋ_SU!_J"0YܨUr.cA=…ϪcgiB(*?lź};u_춈R kljZ28d8ylMsl6>0K( j >֞H!m\66h=3ljuD!&A~s֏GMv3*O>#`/7XBpx#Z\ci]ޓ_EH<0tHXm`iFx_|d\oxFƝwɉB5Rw{10\ұgYZ7zXZִF! ?,]ŗXi%HP A's: zdj4 Sw[)4shW KwK_j:eh'ьh~G?zBI ve1ge9_D 9)odorQϴ"U;9v`7`Uz<1:s7|ė;?r0BaIzzRC^a9Ghe R!!2>EŐxĄoLDqG cAKJ0(_$MrL3ZZE{7hv| FE*_lw&HLtQYt6@!^xajY&w!UOYyLl [TgrCh. A b&dӎ Av?f9ϦǪV A˰V͞1N xInjx$,B"WBsfVL )@Ge&og2Irڮv#;t~I_"0zdt ! ,ϊ{պWY/AFzr^<%0#2iCc>Y2Zk5(GXGOthCˢ5J_ր{;Ox]~:Vȶ])VtWISrtW £Q4CrE)҇~Ǵ8Qn2tԣQzM ]F8$:X)xQ`a}+W#H!a2R#E+7H}vG^G$Ylɕw۲?ʴf~cϠ9sR-Uy])> MVN/wy9#KL_v}"^z @Dzؿ+{T8~&􃿱gYZ17299d3ba8717cd4b2446b784f149c5440aa8081 2b44293b6dd20a34d66bcdeac57b17e8d0e4c8a8 338f5fc9e0a7f2ef67811da5a8179f13449066e7 994a0fccc0fa771e9040b466dda92c7b26d3507b8c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07 0421e1d9e7fe672cb0ddc4007aa564f9dff1312a