SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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  t/ 4d ]S Old_Datatype_Show:threads=2elapsed=9.819cpu=11.132gc=0.328factor=1.137zXZִF! ]ŗXf1-/6vR[]u^O0rv/=J&q)s"[S{ybks u62Z|縶b+T$|h-:;hMjɆ\o?t2;oI=vB ?-?$v!գ#Vk$K\OonvN( 1`N(MȮha*ƊߙA0ogYZ7zXZִF! X]ŗXiɟA-9ln=ic``CTslLx͹ݜ(eLV[""ˮ+fR{ۼO({YU+cنzjQ;lF̀;NQfrA#fo "8 `$gYZ7zXZִF! 1,]ŗXi%92M! ?3{y ڗt>)G )YX]~|dy]ɚHiRkɊZk+2vI0=bH;b7s/ŝn% (7#2} u(Cu?<_, on5a=ȞuSr.[?&Ȣ!Ԯ Tbea-.UB(ϱ`ۊZq"a-Q̣|hM|%}_LЄ)Ӷ-Fj_hDb%~:0H"xtQh\ɧ՜/j*$ N*ݜ> G#UɆl>mr _.tէ{49}ÌyG'Q6=zMr3^A+[u(D3A[ۄir1Z.Pz 7 :B\G,aG'd ?M'#,qEm)}[Ω2S/avXOկYj" IR5@VX]g͠a0&h2rU2c{)L3]`Z`^-C6H86H:p V1ȿ3dp R5Ѭ\2{C7^Yƚ׬ P)چ"&Ha?oB^kVObz gYZ1e782d270c3d9a4626caccc0729bc34ac9dd5b3d02339f27a0d9de61901914e2709fdac8350d3cd8 7fb9b098cdf9ef9042e54a79f154a8576f8ad951 e18eab774fca0e276fd5ccc2347f5041793d975b 69a6c247d97d60215765a18a694f70ed6b9ffdb4 / Old_Datatype_Show