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 , D ]S]HOL-SPARK-Examples:threads=2elapsed=18.228cpu=29.832gc=0.836factor=1.647zXZִF! t]ŗXf1-q恈׍ V$*(5DU߆rAcf,(zȭiV)Btjw+6R7ܪߧhnޮ}>e:)V܈<𑞕lru36>oԖ~֬/e B S" OFTNq]UR qc-]ƫTsrGQqh?Cw$Kv^:>ʧad Ov3E'z63lg~|Vs!I5m*^,f:vnݪ}fyrެpGՎ,q~rwӸ>t &7WF,LU[ULr[T^c^K.T6 M~w"2D]c(P4ݱ!2tj|:'_`tT 7"jz;s??u8X"QXON?,nPc4((E sφ,i{vYVF+? x[~k|Eq!]@=H.ͶgYZ7zXZִF! @]ŗXiɟ1'HGu C),_=g~ {^}vq.M>v yN%fy7V^8syQ&Lq.*.aR3 |~oM92u)X˖<؅)}Z*H?%$8 \ 1v>10mi>*ƥ-xn :<֫^ }` 4!a>'n?b5̺p/lAQ۶Ҳ]:PE uMk;B@=l-Нw P ~gYZ7zXZִF! V]ŗXi%92K%4-@6e8?ܷ!~q^[Fˉ/,be:+(bTFZI2ur{:U8rQxrsW!#;$ܾmeznP~֠ߎj= >۾~/=? {Լ2Ҳ#@6%Rg~ɊIvs4`3FP#p߃Њ:|]d 7l9r9K2@ keLϑkMD!$_s-G`N#Ytb0*+l4z!kZ+rmv{jI{FhE:Щ+v-ג8iy.IUgU_hQi1"T@%@)'Ɉ #٘vu&Oj UP AA|3)\&:yƇgZ GIɬahʫA{' t`aZ#*yׁz&(U&ľ"mQbMZckf훺y=A`mq TcGc"/Q$R..cZa)4RD~cz W|z Je~Z @ulkDj,C=-x)aF;t:zEg2TDv]ړ^kHz/qɴW_= r̖Yna'?jJۈ mWB ^>6z5&hKۄC>_V5ER~P4s04 c>㏳8bϋ ;"WCb hBngYZ80472568d279fd878136c8c38871b2465030264702339f27a0d9de61901914e2709fdac8350d3cd8 7fb9b098cdf9ef9042e54a79f154a8576f8ad951 f70eba907dbf0976be67b2c9e5c45b185d88267a 9e7666fb67624d6933171331fd25d22ac281627a557a54b7ecf60fe988df584aad9dd491b0165746 1 HOL-SPARK-Examples