SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 33J T$ ]S Lp:threads=2elapsed=36.059cpu=62.180gc=1.188factor=1.727zXZִF! c]ŗXf1-/6vRZektZZ/BcHkIv[ W % adr4w%쀢Lfpl 1f+IG)Fg>;~i8)VǬ 8x~nB mNt%*(,5T 4u gҥ#5ώM>,gɛ[1J7p݃JO5|"FQt+i>;}äxsyVٍ <{>Iy{M\!cבQ"'^P訐27V-P0S:N4E&zֽI06J6vnf;?j&[J'+5>Z߮D WV[2O[[wե)`p9k*n[.;G܋:^@|X(o=J,^~4 ǴR&/4ϡ esDFmZDk9_ tyrLO#uI@N/st8TW_ı.tB=t޼i)tN\g?m48 '_^JX0Al]%Xc5/l"K n~<`iaQ44vض|ڎ&a/t|ctrJc t&4@ׅ?>Z3m0 }u\O`L^B/`W_U0V~ !kD{|W_PnB](0q#ߍaWYW~Pܵ-iN HQ,x,\}{[.Kxؤڵ na3Qxzņ,7qJS38\C2nGrhC3B5QvUcǒ[.\NyRtLQ 2{ c an3>=!< ҅i {Z:miW٢xsgYZ1803173cbae186cf77e2bb2657c6211e27fee4bbd6ac031d3e88d65563eac5f02a097b7a1de9a7e3 f9599c72045408b4573575612b1544f97d3e8615 6dc5e2d880388f6ebb4721373e1be4f7149a3e3f 56b2ca276c24a37c5827363462572e2a1413e3d4  Lp