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 |d\ ] ZF-UNITY:threads=6elapsed=5.336cpu=25.764gc=0.916factor=4.837zXZִF! 8]ŗXf1-WHIk0p䋎dh֨/+aGb−>|omLefÄđڄTVX`eJ i&IOp1z&' M"[es.5h`i#R_V]Zn4JZc? )0_ F ^wpR-])ۀfS={J~k6cZ`m+|ݿd9zFܗl0p/Q eapl깨W[6EB9ٌ)X#Ґ[Q?oK^B52,FK7-I]8ey,ܗ&7Atڹ(ZGp* pf̶?ΣJRxW-7EMy gYZ7zXZִF! K%]ŗXi%9#0f}*xa*qgBJb7_|T2/Nh "4ۄk_6]O_`54BwXf-Y^}6!T"jFS?ڷlQ@JM9 +\~ XUp&: cbetA?7PIHZiã?{3/۾g?1J*-$R{LؽZ|Zf4-)#Uhv=R瞭(t-5\"Ѿߤ/.*f3{p ,6x>zZ]X_=1gF6ӻSutjIs HdaVYQLWUd\Ӻ4OV#C ."oF˸y }|efe1.2pIƇ|{Mҥ`)^^wX]?_';~^Oh).g/zrev