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   kl ]HOL-SPARK:threads=2elapsed=2.926cpu=4.152gc=0.108factor=1.427zXZִF! Y-]ŗXf1-q恈eO/z`Ѓ)&4ȬX8 uIN'ס >#`>ۊi eػFj;_Ā!{* ldDjgHoDR#ʯƊ"ƶ8S!`hB,Nk]20C 𸎿 .Gc >*ސϨLFj˩;M+r1اAǝG $ U=t2sl*\jQ1Ye~gMOVVrdHt 6x2ڜ8iR0X, AftLhV, n۴jr$ 2 [ӻ`Օq'|AiE5#FjZLTD~2?P'U䫋h}+ƐX4DN,L:"ͻ"ԎwL&p*aE02{8Y2j1!HQg,SsvO !ܮ.w~[S Oэ@.}Ԥ l}ݭS2(sgYZ7zXZִF! ']ŗXi   HOL-SPARK%Hb=/=̻N3PMb;EJF$Hŧ e]ѓє Umb.p.ѓU: xF];EQ1L bvȟ:+$InYQ~䬱G󑱃'MbOFA+TQǒ[ "V+~Xg UX싏:,C5_$I@d4XՏB8_ut3 SB Y7U*g';GJWP+$xѤY8%S H~XX]M\eТkQÁ ĤB=O3ݜLssfAk-M{k2D*bގf-590rG΢ܶkv_"ɒXgӅIyBMz8,E/ $BG"=eX8jՏ 0U5?YK #$gYZ0a91a2f15a1987b35baeb7554b59abed96b30a47 1021744b04050f34a34150055e6f58c3368ff02b 197f2c6f40bed80a498671debefccbe53cfdfd65 2d2f8ee4115c18d1e939782b42878ba632c49dfa 8635f4e0172f5cb0224029f56357f7e226606241 b90f0f26a2276c8a851d354c76363a6bec4e816a bacfff997c70f99c466cd602f9e3c0049e93cc3f e91cabf3fc84c7150a9ab2aeae404a0f796263a28c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07 e1bb3d5daa38a8639b3a69887a2c14585546e449adf3b6164465b78a4d6cdfa1c672a876055f2cb6