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  T< ]HOL-SPARK:threads=2elapsed=2.436cpu=4.088gc=0.120factor=1.687zXZִF! ]ŗXf1-q恈eO/z`Ѓ)&4ȬX8 uIN'ס >#`>ۊ$Շ%3#3Jk]Afj{ p%ԩ]F 0 uq` I{X"q[/i7l0<\oXڊrd5X6I/[ L 4[9}(%ȚW ldRnN+|>+$"4^>ǃ=,?z*~,%tJіy~QB\'NZ>QWa\,V60}j>D/JTy)L\[=54*m <%;U" \28 *TY*$i# .se{U5NT=)?! Oy@i姶gYZ0a91a2f15a1987b35baeb7554b59abed96b30a47 1021744b04050f34a34150055e6f58c3368ff02b 115048f548f3fbc6a701d8d24a82ac92afb3d833 197f2c6f40bed80a498671debefccbe53cfdfd65 2d2f8ee4115c18d1e939782b42878ba632c49dfa b90f0f26a2276c8a851d354c76363a6bec4e816a bacfff997c70f99c466cd602f9e3c0049e93cc3f e91cabf3fc84c7150a9ab2aeae404a0f796263a2554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 f3abfffd5e9fcd04bfbe84ee6291a6c45296b2b617cc04344d0e21a40831e18a3beb8fad55cc75f2   HOL-SPARK