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  X X%# D T ]]HOL-Nominal:threads=6elapsed=5.746cpu=12.220gc=0.556factor=2.137zXZִF! ]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|ˮ3oTTTkeը&)ǸD) QhҸk8'Y2|z;OX3B@pp3t,XmX;NxlkN I;':?ix'0 D.>p (ǎ_^s}ތ6R ƣ &gYZ7zXZִF! HD]ŗXiɟ1ʹv)̝gb_ ÎE<(nYܩ ׉*SJ` |-`I'{J}YZ7zXZִF! ]ŗXi%9*_7NU?'(_?} s]QYܡX@F\. X}Mn/?u[ڐѯZ48r ڲBF-K SQ j)A&a0needzE'%Њz }99si1I 0Ƞ;Ҙ냯?k3x\V8' 9>äVj ڋ>5U7} A2v|!wb'қ[C-<(m&_ ◁w@/xҙ`|\<@DJ(DbMTƃTMŮJ㘯SH?-Dhʥ'-v7UY'|'(O4=g05fJ(@ȰrWT {<H3zcm-uߨs=xcWk) 62vpb~=]f87W=6 X[j%5k:a$ ך;Q];B}zN1Yr? S:}JS☪@Ip2~Dzdx0Wy4|i9,KqT;68q)MsW;ė8ݙgYZ53cebe829d2806cd0a6fa25ac61bee3cb1bd708ee7fc28fdd000a6a43da8beffa0fdf0252dd408c4 481d810fe6ad6cfb0b1e2ecee5def91c00401e8b 374a22b68ae9c751c8864e23e93d7421f48308be3cb04d5c97bf1a7e32dc7ec8e0ee1bf418da7ee5 # HOL-Nominal