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 1  ]S]HOL-SPARK-Examples:threads=2elapsed=18.351cpu=31.288gc=0.864factor=1.707zXZִF! ]ŗXf1-q恈׍ V$*(5DU߆rAcf,(zȭiV)d!1&ckmµ,v%^%g޲vpPsS44K:b^zأ~4kd=42x_cc(t] ݬ-țUbh6Zw1e۾e^rMcЎЄu4A%mBYY7Zod m^S(@hQ %}όe GE|wQsUz~7"9=_4\~ :E+:8s.upwhVi@kqݨWB@~"҉2 iŒ-YҧgY}\'JdnpDnmG]ߏ\ߏX >Ut*S<8ݷG%;ƒ`Po2K`"ZT 'b3[H,gYZ7zXZִF! C]ŗXiɟ1'HGu C),_=g~ {^}{v^)pm ?S7q%b֮E˶0SrLg x]w)&&?Ш]@;_5y;e? JMٛ9JJ[6c :ˋfUKVh_s@( XݟyFnEod2i#V{r#S f8yDxC2B]R=I Dy-w[5/i"W/ƲGN=nJʋ/u' [hMPո |gYZ7zXZִF! V]ŗXi%ή*paϕ߁ȽQv1eƌxB1 QX.~Nl0c!~`LIަ,`+? p(*LvA3hE$e)9U FG$_`Iq&xb׶}9<zKl $]BPB}Ʉ^{Qk㓈S,6.CK/k>i!jX k1$5't&LÒT.eͫpplR>G|;W9\@ UKqX{l ,j+.BdXjR-4z_IEv f.is+XPECmyBHo[ZoR8whVD%RS6eaFׁC(LL@Q/7m@SӵWR/QyB =H8Hځ^ j,bV-R +1zZ>9KJ:XG)^.N[=I5#t-Śl ~Ds$"LW#_#=;{2RaDDT.a2 &{M%Q5ـT<Ca@;P-r뇏]u㫸i$tyKp6[[ hV4`V%' AgYZ1e16c361dc56ca3210ed32d90545884187eb858800b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 1d794962c486b8be2167e1483c98de73c64d1df2 d57d820bc0acca05f731fc00852fb6fb0be4f20bbcf51b68e2d0f5e27519852623c91754da48fe37 1 HOL-SPARK-Examples