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  d% <4 S Latin_Square:threads=2elapsed=7.004cpu=13.120gc=0.216factor=1.877zXZִF! V]ŗXf1-/6vRZ(O\FҨikJwT앲KgYZ7zXZִF! *+]ŗXi%}+#˗!%ڷJ0fPC? _Җ5GGd+dsX2E ((G<0X +T yg f#, ~إy,C^DtZ _.  &ϳRnjys":]4gmB7d PymS-.&Wtɷ b3Z̢T.#2LA7p/Ij0xY5h)'{(?jw.rxD}ʘ4@`w{tIs 1ۑ>`|C}cB \%&M]wB"Xpss7Ʌ\ ]Q){DJ-6Aou/ni|līOGTH~cquڱwY3CAXNO[/du0`(o~h%d8ـu@xU(&*&z&!@ֽ]1QE 56T1{ڔgdE('H(H}7K0Dؕ V:?L<-p4q jkO^E,nU=_ؑu3Zg6!9\IrXdRTgYZ31c32cd8ddac6a5cae1c8fd40fa7d51780dcf181 8a50f6b01fd40dc8acff0e7eb7964fc5bb14e9e7 9c3929e8a20c41189ace55dafdcd9f64e8cf7657 e587efe7a31b45fceb8cbe8e31287d5d15e8504b0ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 2fef9d75a8313af3f5a06d255ce6a266ab30d498 % Latin_Square