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 - T| ]S HOL-SPARK-Manual:threads=2elapsed=4.517cpu=7.268gc=0.224factor=1.617zXZִF! <?]ŗXf1-q恈׍ V$*(5DU߆rAcf,(zȭiV)(`4ŝ|R 6UF{= qp9BJq :G|9< ?ťxvÂ"2xfgq3sΆ.Lr#!][r-FfS-8n55=g{d)={fHI B_7"ދ~~ 0 7ΚmX )b.㗟/wWE.nEѧd@u=*;@wS㱆Aqy<ƙRκ;jX"Pi!!fIan8RܮzҤqu-CA/_w|9b|>w~k/$8Ĝfdy2]MF mSx K3.jB 1ڬP& AS,ANbKcrhrT'&hD+ 6(IH'ӡ cIs 8cP_;p-1Un`q> jY 6ƩtrUCw'ސ6 1_׫"0넙TX2D$} dwOdSR s|dN.9{ݪ#یX 8ұD(`_kM=t]sfZ]` jŒaG;MFmQ+7dZM^&S҄GeRŒ}O|LgYZ3cef950a9d359d7224b19d14084bd64e65301cd34b2e4ef84f2f7c72f1d619e9e1af08455389b338 22f28afacbb5196a9cbfd43de2031d5f2e9b1dc0 e15c2c7959152609ef6c694f15765d4c2b0066fb eef88d063077734e230b94cc74e6d2c0e4e5c439 - HOL-SPARK-Manual