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 b1 ,\ ]S HOL-SPARK-Examples:threads=2elapsed=16.331cpu=27.872gc=0.816factor=1.717zXZִF! ]ŗXf1-q恈׍ V$*(5DU߆rAcf,(zȭiV)E)\53xƩ~$s'6sX65՞4(AZ8%ܞ'J;?w4$5g0]kxyaP>e,f*MӶ.LGڠH/e(.K> k~Эr'{mf{h}7uG$?&. tH(ZYP&"jG`,3馵ɠN-6gYZ7zXZִF! :]ŗXiɟ1'HGu C),_=g~ {^}Ɓg])-pwn>}Dq"mYi)a<4pA&.82{r n(02<א.e:4fe sK`;=!̭R|rm) P-'3^S[J9$f4F?>{ ؂"ͱgYZ7zXZִF! Mp]ŗXi%;NH潇VK51q0WcI*DV1 Λ`}D7؀PA>f.*>9F׿.up( %0dY`?c|;(T: S<]5S5^o C`E:¨qɳŖ@mܧt" w򪑈օwX~,*sڪH@!b7ܚy䚰2<UaF$XT6AWğrwsG58$9 d-]vK^Rj +ItݲիpPf Yw]}qk|+HZn84јS(e9@MHJ7$d͜У&cz ~TҨV>၏F9­ (%S'4`ϐ>I S%w v.HEUpd*1>.-fu _,NO{Dt>ę@* @H ^ rKŶ/1.i:ʢ&+8Rϭ~YΌZq~+AG Q욺=0rՍ>SSwHt'@mQ+ ^TEum<[2l`._7)Z[}yqDZi&ĤB|t+_oɫpiZQ=Áxa dfr"IlΆ6K} B(MKcP;DS^#