SQLite format 3@ .  YYQ77Atableisabelle_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, "errors" 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 i%< w TortoiseHare:threads=2elapsed=6.214cpu=9.932gc=0.296factor=1.607zXZִF! ]ŗXf1-/6vR[kG+j'bf{9lfLXl#ьZ|VP z5GTtv+y`u16 ~.YQ lUCN>Q3 cW8m=VL4/*FMzlXAֲ`#_Dc1cfѝ+]պSiu,a=B4̫dH]'Dx\MOOwO-{WccM,E[UrvdSvpg|;:H (>m՛kn #iHc UtSmiE$,@zGn>`k|0߬h@) X~ᎬmKOݽL) (Gq;h;5ȴTeHy|S(^< :lwSb|B9Aw-yBh{6GV'L=û| W(j]=91]lBU!YQH-ص绉$=E&ybWkpVCo:%}a6Yr|0Yz"Gٲ[a|Ą2B(դO-i6ǜ>*bpm;z Lj$k%T Yч/sӁU.0R;LŒ6k'>@@aOcgYZ7zXZִF! ']ŗXi%q%c(O6ULzh*UQ\ټ*_Zl*7Æ:N!ƫeg3 W˓~`/30{{ kԞ8Bpw焪ʇL suNJWGN+UNH5+WGs.GhӬrmvk4 8D<oSO]bfp0xDVjPiEQ5$e${4R Wz{rdBg!Wkb̟h3_s~|A.}>X̎{XR% B}2.9Iԃr5$c5<@5pshzғv23Ʌ%M$N N 1Anwx='"<7}~E7J_9.bU*)WJQ1[gx 7Sg oo*zzy3oPBa;.6Muُ^nݔt'YJ t 1S o(:w&s^ 971_VvZ&AyYx &"P&sh rv񘡩2y,+ 3Qkc׮ブü**l6s8fC:0FSW!6M}8>X &ZyWgYcHDB]S.el.,dBGDҗTyqAeAXXU3׍ͺ<O3gYZ059b39b3c71e408ea02474875982517bfad13772 0b9cf525ecdc35de6ad40e0c86797868b5ccc5ad 42400f19e8830f3eb7eef1e599b0298d3a617449 8b68cf377068d359bb682e8177940c0d05e33582 e6620216318191273215b663199973260548bbd2 fec8b66b788018618e3c3d8415bb381ba89fb008c7c621c8c679c6f81c939be460dee2fbe4c459ff c121e04b5193f7bc8e7b1316cf00321a124849d8 5f9cfbb3ee57725a294474ac53472d061591061e % TortoiseHare