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 L% <4 w/ VolpanoSmith:threads=2elapsed=8.807cpu=15.392gc=0.636factor=1.757zXZִF! $]ŗXf1-/6vR[iB9Gf}P9O`3;%{Is`9"PJhqzGh*N$O;U(Ltnykž?e6@xH#װP 'pY'@elw}LjKmQ|lb"E3GL|Xx5.Bo&EݍXF&#)Er6zzb$s0̀kn(ΌT>lT?d5 "i.7N.-2U!15gZaKit-@|A}\i[#%.^iȎVdQBgOȞc-cYJ0#v_ԭTpɂ.@ǹˁ#{ 0c߶0Yg>˂w,^42I5KCˡ 47WC{8zQmOlB6hMѪ9zx$D`h{ɣe&1b(|;TuxW-w3U:QwM17I igYZ7zXZִF! 3u]ŗXi% -ڕnkqO4<יUwG@mVLs5J1>ۮ̻1+p^i_Jp&#E iwƽ1ŵ,%J4'ii6 g[kƈ4aF;kpVurjv0~ShM CĤ')S\ h[U iS?ϵ]#& f@)Cć\LO%~bS?9R Hk['w8;|nîþѿHƲU)6+JyˆQy" IZ]ƮBbjѵ>嫾D|71j$ +NN#?IYoD oi .PwY\eb'iJ2z̙HK+ޜLW(;}N/=o_?kSlnj!Pq#UBAȫcg<3x?FdzaKxT y/}#RLCiS o8;R}ՙi8?$MdYϡnd~F B+*Dy9FԊ27&.b2som+CL+kԙ6?ȄkhD1dnMּh_~XH9"CʎÙ;*&RčU1C[ekkc.27E+]w"͑kt8FfCKV׸ a"Ֆ-%Nf;gYZ07c3d0c0260d24e84312ea07322f84eb50610fe6 15649c4dd41463e761306162c948ea79ce836419 43a788035c378e986edf224750a85551aba4b61c 6918709c5cea4390c2aa9b7a9c411fb9b9e72799 7e04ad2d81aad700a3243fc642ee04707d75e34b 8d8e5854f33fff58a9ec327ea3350411fee5e5b270d59207b10c0d3f1ae9713c01fe0490a95034f1 a635d9d9c13ebeec12e6b6e83baa37d10eab9bf9