SQLite format 3 @ . Y Y Q77Atableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ,D Promela:threads=2elapsed=186.213cpu=302.488gc=15.404factor=1.627zXZ ִF ! C] ŗXf1-q恈͐7ӺV1VbkEڄvi+48~XD 9AEG$O:2w*7zs{㝓//>] bH]&jK/ܶ{#8wU.p~u`vp~˵jVCr@
CG-YP< t#FvqCSJg~KhA!
OEC
[l1·
vၼz*]CdkQZW;*WR,nkj4!umEm4K&'ٛM/JݮJp1a3¥L@[YB"vXND켁Z$1N-W"2v]SjS$$ XnG5}l` DӧC'k٥c-m>R2YrU@;Jσu,qJ]"I7-V[qgqWQ=Z|]Fx^c5㫓MA[V/gǯ" q(M3nXiקFU/^`hM&\W<,9!`vER.q8WjY݂E^/:{AYDS*8鑬ĉI{J>NFW~F[lA?.Ȏ0K O
5!!a֑ϒv5!v81tuؘ
o*`=\y^~>)VY=J-nyNv)8/ҁ]gӟUF:+˵Z d+QC:H eaՙ<'Ls$
oq "q'5ܩC