SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 gd ]HOL-SPARK:threads=2elapsed=2.216cpu=3.748gc=0.120factor=1.697zXZִF! ]ŗXf1-q恈eO/z`Ѓ)&4ȬX8 uIN'ס >#`>ۊL}J.J{{(RQ9_=r*C6b| ͘=]emURji7!dYT@]/߉g5* DW~tuoPc`@JHui$8{,QPsW= -}7҂9П.eIxʎZS0YDuWyЯxEXq&R2DHHӉ@=*R]I]yoRIԻf\RmOJ/N)د   HOL-SPARK#^̱gYZ7zXZִF! ]ŗXi%Qr|Kqt*+7.ЈR|20q77Կ:.B߼E;j\P_l]ۦ+,"j(O6 ݍr(+tŬg)7ݣ#o Fd2$M^^Y7uƀ"(fZ|QOV)mx-?oYq0u`xрm\6rsul/ۙPv=wSLX6Lq1K^30=[Tڎ'CAY2x' vRn\󟙾;r&|Bݥh>q F[uT|>PxtѭbO3hAJj'.{\ʩ55J4jЬ!^kI/gYZ0a91a2f15a1987b35baeb7554b59abed96b30a47 1021744b04050f34a34150055e6f58c3368ff02b 197f2c6f40bed80a498671debefccbe53cfdfd65 2d2f8ee4115c18d1e939782b42878ba632c49dfa 8635f4e0172f5cb0224029f56357f7e226606241 b90f0f26a2276c8a851d354c76363a6bec4e816a bacfff997c70f99c466cd602f9e3c0049e93cc3f e91cabf3fc84c7150a9ab2aeae404a0f796263a230107fd93ce37db2bdd67b83360028ac0c573143 925f367ea52555ab30ecf3c4cc0b2e6ec9edcd76 99a61c0cbeb36b937e9d1eafb938c9fb182dd16116f0e831558cd14bd77825e25fbb4a9e218c3749