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  & &W d S%]Lehmer:threads=2elapsed=1.575cpu=3.000gc=0.000factor=1.907zXZִF! }]ŗXf1-/6vRZ=\\ ańǜZ P βXD?Όp.-BU+xSedJ@Q޼?HQ`O+FU vmm.Xʱ>sĹugYZ7zXZִF! P]ŗXi%6uOPHrf^521t0'h^R<:/7agj7?,K0`b"cЃaO2옸F5.P ?̵'tpEsuҀs%I#1Q4dqRus/0 gZGP^[y%2o]$RMPZ]o_UYydĊ&՝TPC$>1prB嵝<' c Jݯ[>1n8kDGwAҡF,ĊEχ1}]|ss` ]pooUpըtOCxI<\* c,$hԚegYZ49d4116c4e07a3b7da59d0c605a55414d5cef04c 7b14a9251316b46b1831484eb5a9447b70502b2e 9a2bdec500ff05746d8dbb1c1de1690898576dd6 fc6b8edb08320b1fe5a2b1dbb5bfc94d23f493c7e4688efe0911f3c4685119d2413b25847e9bdff2 fd75a6d445e5afaec4d07c698e0e0aad8327d77d df6f77d3cba6fb825ee5fd35d1c789d872ff9d4b 86c7fd1199441702fd9498d93a1d3535f80efeef 9743b36a172e5fc26bd8771e996d5569f1687f174d71303fe6b32abe1ef1cc7c048ae8a585a38503   Lehmer