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 oo |\t ] ZF-UNITY:threads=6elapsed=5.463cpu=26.956gc=0.900factor=4.937zXZִF! `8]ŗXf1-WHIk0p䋎dh֨/+aGb−>|omLefÄē = NS؁iuK'p&xN0rI'l-r.Bw gi < $ԺSޏ D=Tb֬{ԡ/y9H5k{^,zÙs< /`š04zZc5D˷'TPΛJ@lCI)X[!pe%7qQw=B}F5;-mYYlkv1OBm.f3^avϼ&~ nL QTNj43c6%zr̘D;Zx:. ϛ`cX_{*Q=g2g!,cdJd k (ɺlh4vF8V<fyZSΐf|/nI  .PE)ȒDZgYZ7zXZִF! hg]ŗXiɟ9 i:4V;}A<<ګMP78!aWO\}ܺKɮsE8'&O4"ړUʵN?VLY]ފqg)\R$˻eo[UpFNy#U4-N]ɓca>K$=OإƕdV5hGH< R4\ 5$%jL%hoj!:Ĵ'ً>#E{V苫YjvjǼيuXQ}u.pk $dvI{=ZIoe%7Z_ o֝d%_fW磮5'yn݇bFI_%3Z` :88ˑgYZac523ec97e0f77d4b791847b3459b2ea419008a7bc04ed3d5e3d39fc11eed643c195af42cfffe6e6 42d4ff13b8c38aa4d000fc2e6e6fe051d57ff865 306ed520741d0e53d96e6580b2574109c1f2e365   ZF-UNITY