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 U! T %% SumSquares:threads=2elapsed=9.436cpu=17.116gc=0.316factor=1.817zXZִF! G$]ŗXf1-/6vR[]৞B}vȣ5"i%޻x x] % zRC|Lһj;[9`/v?K.o:oYG3 F7?%7 \E%̇M5%HrB| LA9jReĶ0c^E!Ç]>oQ]ֿNgؐc9M4__URaS ڒ3Y b/alRyMRFN+Q3 t6Ǖz|r(ŠT~JjOs讀Sl{.KG w)-g}ҟVűSs{3l+U Qx_œ]ȹۗQ75({O1hi$sSUws^Xx|5@*('#8ǃ8KΖ-JH&P#L E5[3ΖÜJ:AQfʾ/(֍;_#B6ηRT\I|ZC*v9G1 M#GffPfb 3\74W4w_vDP{8uS*=mK(gs/yMŊҸ=Q@ ZfN!A磋:ib&t6н#X${A}ZҐ&*K8Z7Mc)sɎ;rÙN|BzS:Jǟa;Xz<>cxrnMWE>83đ M 0zpo_&PY/%*!^)?q3zZ d'㞱뼷b9 $4bH2CC,r0Gi.hM%m?BV2B5wwW[hGRW>9_fkv,"WdG#UK(FG"wREfH,)턓ο!;gjv?%X}ǰޚns/)&R}5ò]9Bmڿ| `9vpv=4ا߫hv8[.t7 VƱ&Lƚ],!|QhJǟNXQV~q :ܟ[=p_ Kc7ISx3ρg(Rj&uk3.":*iɠgS?Ƕ5ΡwnuqqƄ )”CRF3g<挬XowH3ӰHXG8`㱞U YV0:٪Es|ѧ2GGCb >b7> 4RK%>È'Isc~fZW<,v`R*T5]uMkmK>rq_ЋXY]v)> nk@'ؽkMO;;FŋTlbv {` |/laMp UgYZ349b7b51fb3b595a40c187c8888da5bce4d6835c 88ceb01926195eb995ac657022db09310c31c47b 8a3d41c3963e3d7b9d55014170ba399d2f4074b7 9f1458bc860499132e79988e26c9213701f91aaf d23451b2fc95e68df3aee5f50c02a2a8c976d841fd26823aea4412c74308567751ae895bf997201a c51b383787a599e178e4e8b340122b3ecdee1700 dc2961254cdff5383e97fe7701cad91d01ec577c 5e44082305b3e1a44d18a9327bc55a4a3ddfaf4e 5cb969d7906b5b34c953bd039ce69daaffca56c8  ! SumSquares