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 ^^' DTL ] HOL-Cardinals:threads=6elapsed=7.172cpu=37.984gc=1.332factor=5.307zXZִF! ]ŗXf1-q恈<-¡$johkX2I)']8PI{vc8g3 AL =  ҹ(/CvWGsd@M-jpΨ}>H~w`2]ʓ]tud>#Ύ} 顔$XQ1x7ڳ8~4e#hMst1kX FX %p p̢VP/bQIi9]*P}½=:ZޚnƔBl$Sź{ӫ$%!*Eu;'ժżmbotX70 UU];s+Fq^wtgfG՚f]c\0Ŋ7Md#l8kb$^Iw+X&ç~#ڃ~A/gC$ڿ@qtTa>$ g%عѨΡL8ߧ S*mbÏ:,cU0bZ#ڱgYZ7zXZִF! ;$]ŗXiɟ1?ߟt;9BP2CZz眭5 z ZO+yobt0xO<=k1)J* e ' ry4\IFY@SaIpJ{xdkm ~XI.` (YG1ri5M LG ^ (?ib3%@-/nFO4v4~ ovf=H_u٠sկ5>^?4R\!-5(N#}n9gYZ7zXZִF! #q]ŗXi%9d`*HuG'2 6vtں0+Dc$-wnF i2Op,GضZ_Y28ҵI"Tl,HW|w~؇b8Ν"PG IT+vĢJi[O8:m^2^M08>@Q-)ߒmzo'[\JWl''x)5^3 E+гA 3/h.NEn BwXܒ ˶4).yIFC9w8f`3/L :@|4zYGwrN $ǟ8>VQf0 r=$Q!) M'5{Q×cH)0gDw¸Gy "wM-V:TTV3m6}肽\/?y~I42#8 5#(Re^E*~J+KQoBaZ,YtA=@ **C}Ľ)H`7i 떽*ϥ