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 KK21 4d ]S HOL-SPARK-Examples:threads=2elapsed=18.385cpu=30.324gc=0.968factor=1.657zXZִF! ]ŗXf1-q恈׍ V$*(5DU߆rAcf,(zȭiV)1g#SAg6֏>Nb6lIP98:6paH, @Yp=pm̶GPI4{6槚6 E׮k71·BQ>M("G3HwJ>'&-X>(S$NU0_շ{QF X/ `2q8'\+%գpqq~==ÜcP%sl.dy-e97uq&:MG,O 0M{?l؟Y$H<+M#A8.[!`0[L/U@ gYZ7zXZִF! D]ŗXiɟ1'HGu C),_=g~ {^}持g])f cxn>}Dq"mYi)a_A:(qr䵴&XywS^})(a%'cAakr5{OVF i Cxy?x5ͬQ60ʍ(ay'o X!@G+|'1 3IOb1el) Z4C(|QCZf@Y~xaTkcA͚@b?!kW"3!kV#ߌm]WFqeUv'`vG#QG>**3rk}Q\C\uRQg5AROfm8OMHfO̡z3w=U}(0f&=X_hh [Hf,a&7|@':.RLVɳyܞ*.[{F<N+ ;08/eDGăYbbRQ2pQ6yDzu^=(tSE,M(<ƌENCaTh9p 3#=0WȮcΈ)1v)l;"ĭ}-n~n4K$M z5f:g{6 PO :eMIq)7=)N!C< X ݼ>ʹapx>hʒ><>|tkmUB%[WήK{%`f-C;3!YĖ0ASTm (̝ڗՆZycѵvy~\rڏ 5%/2_{1LFA: \ epm}s 9xۆf%P̻h="z0Ԃo.eWa>sX gYZf3f974688295d8249468cfb236890a0d903f15a3ec4f72521e1e679fd5cff6fa91e397c5873c6432 dc95e50d9809fb8249d7a6a630b1f18cc52d769d 9bfe5d1db472f438bb6e9d791ba26eeeb7101ff5 484a618d82b72a6bd0566a1fdc4aedd991191e62 1 HOL-SPARK-Examples