SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 ww dT ] ZF-UNITY:threads=6elapsed=5.532cpu=26.900gc=0.900factor=4.867zXZִF! :]ŗXf1-WHIk0p䋎dh֨/+aGb−>|omLefÄđfK8. |K^j[~aū6)w=Yƒ cgUT_~xyT1BP<4i8_7Q)`Z *v)`j;K;ږYק BV#?8i0cV.ѯ!ߴ È[Bo[u|V7:8]`^J{i¼T5}64'͘6/]&he6׽yf Df@ڡO3dZ4H^XyńH.Շ^%Og\ ڳ蜵"9'l5Jo%׌#Ġ?*75 OUsN͌}w|ЇB.6C&5, Y}4dBQ\wܩAb CW #]zoZyJ'Q#NȄ/6`! J* VzX,"FJOqDEۘN6@ŋnzڱiT& #4=cҩA?[[%%W?xt9Y A0KOe )W 9~j,!tXAâxwbzqTG.^X."Bvs9i/цl wQwYQ. 1ςZܯW?&_uSQvH(sӸ#n1H=881-}ťļ.Zѝ4 [6*.D4O2 n#,l |ERhAE0,>."d@}) {dؼ \@DUͰTjJ}}/[lp#-bR 8ƊQ$]B=ǠNVLx:ɐ`~ա(i4 zy^!I9T] ',.` sG!H6>j` (8Vԁ-C8." gYZ29ed3214752e7d40f461e7b09014cf8c04d3bfb5e739dc532a6c80e6f5d762f572346ebeb03f4552 9601e45b9257fc270ad7055adaa5b24c5ad33dbb 9f4ad90aabfad8ea85aaaaa3b6896d41360353df   ZF-UNITY