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 JJ+l ]HOL-SPARK:threads=2elapsed=2.529cpu=4.268gc=0.144factor=1.697zXZִF! K]ŗXf1-q恈eO/z`Ѓ)&4ȬX8 uIN'ס >#`>ۊĴ b3: *:";%mLk~ /B:Qj4&Ąb ES{PDiGhW =zGmjS"hKf{`N*QeA{ hQo;|86fuj mNܯ_rȂWjQhZt}3M5|Ơ/s`=8Ldg r#Ց74IK_.V՚!7OwNOIBz@zS7?+_TDLusNk 'x$mYnEM4h"ۄ<TH5@C`e[HDmw|Q:{L!yuuwwuܦ1efRrYʎ+D`'0GhiMfS嬙қ``5ֺh)tt;$85gYZ7zXZִF!    HOL-SPARK]ŗXi%BV?8dV t*U {y@ zVˬ&b(n,xd,S܁.~n(VUFw%ۡO8,,yy2VTҙfK{ yI>[=m\Kbп~qA%3 2!zGz5Ta-7SsYse=H0 ` 4qGm%OܜD-OR̡৑V gG;~Ixy:&Eq@xΊSJ#4ρ,ùߥU޿ͷ>bpV ˵yan5o*}2\#z @Xs'_Y%T%Vf2jOYX_4#_*[#8[%˴E4Kd^YÍq {(eĖE]6:? KZcK?agYZ0a91a2f15a1987b35baeb7554b59abed96b30a47 1021744b04050f34a34150055e6f58c3368ff02b 197f2c6f40bed80a498671debefccbe53cfdfd65 2d2f8ee4115c18d1e939782b42878ba632c49dfa 8635f4e0172f5cb0224029f56357f7e226606241 b90f0f26a2276c8a851d354c76363a6bec4e816a bacfff997c70f99c466cd602f9e3c0049e93cc3f e91cabf3fc84c7150a9ab2aeae404a0f796263a21d303aa48c02fbfb8fe205c90ee243804756e6a6 3e7d2e5aa099435bba6e4e30f924c9df17b4a54b bfec7f6f3c06e18379a642f7733f45d76a321e48c13cb473841630394cb95aa6557d461352d3c61b