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=19.597cpu=33.192gc=1.056factor=1.697zXZִF! <]ŗXf1-q恈׍ V$*(5DU߆rAcf,(zȭiV))/ۉ)A&bу(9 LYϰ ~;I=/r[hYjg{ds}v -Z5M 7u0rlDjxY"m+\o'^1AUz1 5]beGPҗ lnB$6")lU$5%C*bOl!DïY:`JB*ԺH r|Em pr[✌NgC+)" s{ijaC%ֈk䛦%E 7MT[κ8vkW7.=5W$B< }@8 _! ^vߢ-:Whbu fk" X]Lۤj/v, x^Ĭ#)3S,<a"O]M7, WOI 4_[IgYZ7zXZִF! B]ŗXiɟ1'HGu C),_=g~ {^}挆ɲg])7E;E-ݓoNj],;ZpGd*mUb\rT&csiw?,^T&1DԖBn-K,Fm1?(\Lc.k8a89!+ ÿZݪDַCzBᛑB1r(36\R16āH >OaD<$b*8L`]4ʱWB@8M㷻deUrݡxM<%iot'+vnPE:")X E [3gYZ7zXZִF! []ŗXi%;@uL%ם_ \qI$\g ;Lw߿INpcT\ KLjMxÓN؏l)W.D_;t},6̀8UZnwڨl+Kn_SM50}ped~ڔyʽF;rjL|Ikwpc{TU0 cEIGA'KNuk0 tQ4W a-NM:+kΔ9,n!stSF3kh䟰ky|)@ u"h(L!M6f-X4%i!&) ziYw|ͮ6,DoR8+]K2O״dXJ@%eħ )d|g nM 6`@QbLå /J+nd.8~(5I n~Ve0rp1Ztv#hRD\<eb??ݔ1Jr/y>b- [c^10̳vW8OYq1e)aܐ䨰o|RP;]e 5 f#\ 1/C:+m:ʣ,f*)SD+ֆޗ?@;)A<{m)=%pIp4lJ-ǀUɃOT-7[kσH5} sg\\:=58Dq6ʷ,o0u1>(ؠ{E𝀠G767fy RJ .鄛rLX2_'>]!L5uVˈ iX0qܕI-%N $X#8?z몪EUv (![#^v!I z, F2&164͖ ǞԎt2ԃ  gYZ31d6b9c090788b8d306ec83e14d0baef91c7471f98dd477b080148668828b0f67c6e8a1d9708b3f3 2dc2b5acf411764d9a49dd03e6f20aef615ae67d bac001b6eee0096f18b9efa5a71069449d55a29b de7e55d0882e3b54de8a00ec92f3de917f72c98e 1 HOL-SPARK-Examples