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 ww~#T w/ HOL-Lattice:threads=2elapsed=2.536cpu=4.072gc=0.000factor=1.617zXZִF! :]ŗXf1-q恈zt`7MDc(e%hNǙ8}9>*k`1obn}(mCA<<$h:1; B :O*l7ٍ#FH%3inz9fk#Gb;jŭuٌcT)߅`;͚x~yds{ *TvG rX^D|Ilo𡺙dBj,IfiF # HOL-Latticeֶ+'PU+맼}VHnPM φ5߱gYZ7zXZִF! $]ŗXi%3ARURŠ*ӂ@V6{#?q/XN-֙+#>cT:AN蛧Z^oh>;(WXF$'bfh~3o"0!r3]\%/=E͸TsB6f@El^v'WCEI\%loAWgo,x喤->fk.17=Hc eH0E1?$|.PebT7eQGxdڏۮZa}Ox,U%n "I(d bZ:w*Ouxi ^#D*52 $ibO.TlQLRgqwN)3lѫ0hKN4`c5+ ҟEH=7O4F>_fP>+H_$PƫWѓ-˗k l6?YQ_ Ʊ]"BNcN.-GkygYZ16b52f967d615825912c54bd5a9895ab3ef4eca8 2a045e2ad5834774d437e768542c5789c7422080 cb01d2951f4cbf33cb7f7a66bbd9ae5d29f17695 e62f79514cb196d4e398aff2f8f7f1c2263b56ea f4d0b9736f0a41997590192621c85219a34b82d1 fdbefc546156f1355325b69d51134ac2cacb17d3d38e002fb81c6e684e22dfb9a00446f1cfd993cd c88cfa7fe983b8b87f38950dd0874ef6a0f062a5