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 DD9!  %% SumSquares:threads=2elapsed=9.686cpu=17.260gc=0.296factor=1.787zXZִF! MS]ŗXf1-/6vR[]৞B}vȣ5"i%޻x x] % zRC|LE&Ϋ]cG%/وRЁ.h`3tb%נmBcȳA@rc4 *0{"ʱy߳3+S|b[M=1M3jyJs7<5$  s]q sW낓 qpYU. ;tzghR43X@3cSͿGWݒHm@ƒ$˶nn@#FY(ώ8@b?R ]ָ5hfsf" `nT*1Lن Oi*+e}AvПK AR[2cw>g3Vr?w%+@Ud 5>/'-K#gB(t!ܜq7/m#Hids+)Lybp8;F_7|)V"^jzyo0# %:H,`m;돓Z7LB!'gS `Sɘ\S\0$W&/xfm.慜W@lc;]VUyCAp\Usb SXV`Z3`[P @v^rKj_w!)Gq¸.>p51E=EŞF<6I 7O8Y|2gަ:n#Aڪ0TRu Rs U %2gXNRwA1AEoGr!d~/ >z*"_=:H;`jgݰ='a/ d]M&zt%rnYd/$U+xB0ƝKӈ1i\C];*]0r_~XxPo+-C#x,=ābc,CFR[ԀI U-FmqFLw= Sq6= A56W5R"FQnŊOvuP,@q)?Ļ1R*,yI xXt? ԭOs!wC@7\Ζo{ɣsW{Ǯ X 7?犮L0#et`\WŨ+qcDW,p*08ˠUK[A YYiql;WNl8s#l䩡LdK\[^x,"̈́fYxۇS l)^/:))z<zS">ftLPu%W jra޲7_{, Vخ}ʗI`o*0b~. qpVf<ᦁ(Ug?-W! )^ħQζRxU 0W[J--89L-?~|AG#+eZY=7t#NElOO d5 ip{=ܼgYZ349b7b51fb3b595a40c187c8888da5bce4d6835c 88ceb01926195eb995ac657022db09310c31c47b 8a3d41c3963e3d7b9d55014170ba399d2f4074b7 9f1458bc860499132e79988e26c9213701f91aaf d23451b2fc95e68df3aee5f50c02a2a8c976d841c7c621c8c679c6f81c939be460dee2fbe4c459ff c121e04b5193f7bc8e7b1316cf00321a124849d8 5f9cfbb3ee57725a294474ac53472d061591061e 26a337b48b8c63fd275ea93a777a3e7a3401e2e1 bcb5783e181642421429d17d7734ad6bf4673447  ! SumSquares