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 SS*! DD %% SumSquares:threads=2elapsed=10.796cpu=16.964gc=0.276factor=1.577zXZִF! S]ŗXf1-/6vR[]৞B}.T ؙ0.n={4ޜ@=KÍ Yƨeܱz8>G_T|sK>:!ӭk=e6lllo"AjSh8L㠑#PrL s-ZIGPk{ĵ߈Y.'OD4@"%] 6<;?e~Bħˎ1 Gȿ†ol AC S'fԏ88R]+V:D[Mn>+1$91LʺgYZ7zXZִF! ?J]ŗXi%6uTNew NvegZ+ ր}Wԓ?YHJV,lIUoY{TRMlHU3cDۙtRae67+;&E<4?i Y D JøLӴ*F Fi".43OU={0T_  >37_C_:EpbXֻ @OLO Iǫ4S]BF."uJ5bƆP mKe,+/"0wuNqRTT/%[*Y$-?oA(Tkㅌ= L-2|L$ *#^I-m"*sdOj'E.KaÆ)o"Fs`ZnqCCǠ QҲjT}pXgP+j_-‚~3v=J}u y\EpL#ҏ-Y|vb whY Ӌ7ς9$՚To0O@xf!MB-p0z%3_jGT-XixvC%VԵ$Cլ7xq j1$ !FL0cIFõ8GPZ†~Z'{s8;1:W Zvg"cgBVwlJWphMi+Od4p.ANz?в/\mf42\ԅc1v dj9M@ʩo,Tmxhy(zxՊ+L0[&s|ۃkws%03(hoG,~N99t!^Vm +g>эN͟d9 rUȊZ lO%*I, 5I(=NF;g&f%|"o>-p]ok!m˿svҳ*%d\VAђ.(_vꂅJːȣ XY ~ gYZ349b7b51fb3b595a40c187c8888da5bce4d6835c 88ceb01926195eb995ac657022db09310c31c47b 8a3d41c3963e3d7b9d55014170ba399d2f4074b7 9f1458bc860499132e79988e26c9213701f91aaf d23451b2fc95e68df3aee5f50c02a2a8c976d841e4688efe0911f3c4685119d2413b25847e9bdff2 fd75a6d445e5afaec4d07c698e0e0aad8327d77d df6f77d3cba6fb825ee5fd35d1c789d872ff9d4b 86c7fd1199441702fd9498d93a1d3535f80efeef 9743b36a172e5fc26bd8771e996d5569f1687f17  ! SumSquares