SQLite format 3@ .  YYQ77Atableisabelle_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, "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  q q |4 ]HOL-SPARK:threads=2elapsed=2.530cpu=4.248gc=0.144factor=1.687zXZִF! L]ŗXf1-q恈eO/z`Ѓ)&4ȬX8 uIN'ס >#`>ۊĴ_Fؿa 6iIȈ'pDn{GY,F\Mb2ϟY",{FWGi4!2'.*w pP7Wpy"CǸƙz!sh( 2$1FĪŪ))tH Pp2lFι5r$A gYZ7zXZִF! ]ŗXi%qd+g_ <Ηh Z\BNO|ƚgtA7{ SrjIwlc yܯ,'E^'ŏQ_%jd]XX#mB!d40 A>؏Fx)<`VҽU?{N aѡC,|+d{ fg=! b'-SCKK贿_L}fPؾ+ԥaK :=`@/q]+vsJ~RScE'T nji όB"5sieY;jE?{@7SnJ5 _;o5:a 5&lstn @;K&96[vaojB%v񥆳D(kWgYZ0a91a2f15a1987b35baeb7554b59abed96b30a47 1021744b04050f34a34150055e6f58c3368ff02b 197f2c6f40bed80a498671debefccbe53cfdfd65 2d2f8ee4115c18d1e939782b42878ba632c49dfa 8635f4e0172f5cb0224029f56357f7e226606241 b90f0f26a2276c8a851d354c76363a6bec4e816a bacfff997c70f99c466cd602f9e3c0049e93cc3f e91cabf3fc84c7150a9ab2aeae404a0f796263a2c7c621c8c679c6f81c939be460dee2fbe4c459ff c121e04b5193f7bc8e7b1316cf00321a124849d8 5dba3e08078354582540bd7f069d8e356377045349fcc03f8e3a50727a7a1611cef704cecc0ca348   HOL-SPARK