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 v! d< %% SumSquares:threads=2elapsed=10.106cpu=17.348gc=0.252factor=1.727zXZִF!  *]ŗXf1-/6vR[]৞B}vȣ5"i%޻x x] % zRC걧.a}ƄHmφzSŗv]0zqљî^YIJ׻m1 *i|bV"0NN,eR(s KCG%ԄxZΨ E@MsMkA+`JD?suA :Ӷ=#nZNRI~3'pFPb11O/oi)="h VZ1m$4A x1}gYZ7zXZִF! :]ŗXi%hI1{\2VUm5hM%I;V݄9>hM3Cqc/Oqvb! wpnswyI:.TnħQSQ,3hwZ M[|=) @ d-[lNL!=/7;bɇo6[1]*Ԍz ?_9^qz<qzŅm{;Wpl zwߋН(i">NUqf|BqP.9{tB\C/;`yOj20 jmFPbhj#VVF`{{JoB:ɪIlC?L\9QH'hAqs~&!JR7,4!ajvi].)j;zurKJJKœuf ZB#|WC5(I юD:/ "x5EPJ cΠPk~8%<ˢUqF+2 R#^1[:=q[qU|o wUk_QNgi81Iғ=eVW|,K hA(Wi#'mjfﱥ6 `88A}"\rUR:çתB>2=nu"*A%FfEJb ty~T\2=ʅHMw?8I/@[ (m UD/=3uIرgYZ349b7b51fb3b595a40c187c8888da5bce4d6835c 88ceb01926195eb995ac657022db09310c31c47b 8a3d41c3963e3d7b9d55014170ba399d2f4074b7 9f1458bc860499132e79988e26c9213701f91aaf d23451b2fc95e68df3aee5f50c02a2a8c976d841735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa 182507163e45bbf725735e35871a5ba3be6c75e3 c792037e3d0f7486f079b5d2eeeeb761cbe56f95 b840bd34dcb73ca75b618297ad581663094876d8  ! SumSquares