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  T T)% $Dd ]/ Latin_Square:threads=2elapsed=6.853cpu=13.516gc=0.264factor=1.977zXZִF! QJ]ŗXf1-/6vRZ(.zj9JH't9H2.lhqt]YH>Ui_;hx("舧Ͻmk0sKpEoM@}gYZ7zXZִF! Z]ŗXiɟPaOõEWDwSzYKpt_]rgC^sq>C L䠓1|VʊƑc%A׬vgYZ7zXZִF! 1Lk]ŗXi%ή++i[,N0"jMهrsb$+_A_ErkafYn\f_  a C 8YZH!C5p)$ԦEh] (ιұpV6W .,qQ󎠮QC_;_2hP\jo Qz2/`|V?$xe@aP䳛^hx/+1tb:k{NzW=wE*ާ4_-0[^Q_bL\}90 \ܭn%)5Nb8gYZce4f4612394dbf2338e1e438af14cf6c35036d1b00b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 % Latin_Square