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   m# L \ ]]HOL-Nominal:threads=6elapsed=6.320cpu=13.208gc=0.600factor=2.097zXZִF! ]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|ˮ4NE^7qw{m@l;Q{ >XJlr  cOECFŀ0ݓNK1oyY~Ij@Lܹ>R϶ʈ;`HC1 _4%+kdB \?ҿ' cpWgYZ7zXZִF! HD]ŗXiɟ1ʹv)̝gb_ y]{ߚ13:Ĵ4Y|^uL^]ǰ`I'{J}YZ7zXZִF! ]ŗXi%9%ΰJ̌hHd!#M$$? X[C(ȱvUpN3*J5Ɂ0jl&R4w%Zet`+\zb;:eb!+Yx2 Q;  N邂`2O,a_lwf+PRDžnZ6vZuOfW [ PG+CzI<:ӮkJ<Qw96oTi[_gз!+6,ml,78|L'?1t]wŜ՛ySxہ>6 Ó|T1k=+qVV { uw|ZkFks58tl9D&0:LSiTJ{EXbbOxV/G3f HQnđ1{r$heC@>zL?F/3+OJ=q(~tzQɉ.%h1%[^ea^ꘅ?M(Dɧ)V :h@ڱ\c3$[Id4@K>4UXGJzEb4y 2Y#_LQ$B]34b:w|{~V.C,E'"k^fm6U ݐ5c5WJ;30  ,*ZkMeo{TDtzƫcApgYZ5bf1b575401f790f50870423e30ddb6a4912182394f51dd4e7676acedffe74ec8d2e2647f4dbdd0c 2feb435dc45c22ba19ecfa070808cd954dbee802 abc19200663f461245bbb072515b86a213f74ed18e4f8d41ba1287858ea0c270d789a36e741dae28 # HOL-Nominal