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  p p / 4$ ]S Old_Datatype_Show:threads=2elapsed=10.406cpu=11.892gc=0.404factor=1.147zXZִF! ]ŗXf1-/6vR[]u^O0rv/=J&q)s"[S{ybks >[m2u 4Г)GT9Dz&+}/DYF᳔hա>Uol'S?ߢcTl+B!]&^rvi"az6B0Գ * HffgYZ7zXZִF! X]ŗXiɟA-9ln=ic``CTslLxͺ:.85[=<<@k{_'K*"[K?HJK/RRy?l$2d|" an_!3ɥj ?<-6GdSNFAL-`-igYZ7zXZִF! 0@]ŗXi%W~>'֟7Xc]Q C3>+G2wxd?|NIPB)VVC(?ݝ3ؾik18o͚1Kx[x@ư%o+qEJT뎺CS{f_@$tT\@icm'B_'6fd/.(!p/i8Dlv͇FJi0r17,a?{$zzYnc9EFHy0㛰 g;~EH[`Gd}8* #M[d 9\O~ЏH9\-x@PihkFYG#QO5Q zM+JpȦŅzA>#Y\<"j p c>eE:錜 VR}ϲo&3ioX#J-9vT|~\eA(B}U9s(E}Aw3JzEjo}N))j=5PuT% ь"\r>S VS{L 5 NB*ͧjSk?w‰: 1l\TR 5YCIp[rH|Fh gE4ngVmooR .݌}`c.LB0lWC  1W(~yjܓIP6|}|];wϗi21yW]QY{C-]VҴ0zG bI-ojSpꥠ4Q.R:a'gYZa957ff1f7e35f7453114cb8dc541616b939eaee1d6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e a6afcc2426fd6b701d456a4f4e00addedffa6cfb 680985c92b3b4803a54f93047ea9cca9d749e8b4 / Old_Datatype_Show