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 VV L ]HOL-SPARK:threads=2elapsed=2.511cpu=4.236gc=0.156factor=1.697zXZִF! L]ŗXf1-q恈eO/z`Ѓ)&4ȬX8 uIN'ס >#`>ۊĴ2MFؿP=sIMo+t͑] ]>)wNW Ywa.Ҹ/E mbgV { ٵoje)Oaf_d'xa'+%Dkjd]^­YMMAsÈ[O[@gA Ȝ 5C}ѥoHQ+@WQ+PDTa:0#bG :U{,#%Q7ĉ~Qy'A@.J3% Vnq;!Іxkl7\yx lS~-b݁I.oy"pʿ5@~)lO9YvΛrr06>€J.\X7ԾQJ8+d$sIjaa!A$zLgYZ7zXZִF   HOL-SPARK! ]ŗXi%3w1['Dw qn SꀨCs=t=A@+hY !7NQS'N b9&L5rb.E6҈'$ʈ҄':>Ko!U*ZrU0*|M ]*/hԓh'}ɢG,)I͖,J~*p"2u@iвLp^bk7ƮKnqgW4+P/5=&,m_c25DړpVNԵ;qI NHqBW.q#ʿ涧wF6!k~4 Kz4c[>qMDa-k<,<1=cLB,GAoT#Qwd9rI F1} S)hF]la3N}~pxJ _ۮXM:L7%u*lR`[ݷ1bwC.W֥y߲ͱgYZ0a91a2f15a1987b35baeb7554b59abed96b30a47 1021744b04050f34a34150055e6f58c3368ff02b 197f2c6f40bed80a498671debefccbe53cfdfd65 2d2f8ee4115c18d1e939782b42878ba632c49dfa 6986bc00325e47811d2617221fbb2579dc253c08 8635f4e0172f5cb0224029f56357f7e226606241 b90f0f26a2276c8a851d354c76363a6bec4e816a e91cabf3fc84c7150a9ab2aeae404a0f796263a2d38e002fb81c6e684e22dfb9a00446f1cfd993cd c88cfa7fe983b8b87f38950dd0874ef6a0f062a5 7f0952ac7fec10958e2fa703e156c54c828af00b950b53d2498d1a5e23a78ed9c9facda4af4a9498