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 ~ d ]]]ZF:threads=6elapsed=11.371cpu=36.280gc=2.012factor=3.197zXZִF! I]ŗXf1-)9\l ݺn= bŚ&3(/.G_Tw>WIGc~Y|WwUQ!oAڦuApS9kc0sɿ :+S4 <(Ϝ1a6N\'E+>\G߬_&Fp`lf-us~ڪ-u˕Z*ڇNS\nCI`/? ixN-(^dT>Y0C#0x~U>BAjtr%8Epv?yD,j}K8M6>ss Ks/!@.<` ,% 3s|ôm6d^JO6Ǎb|NG"^8HX}?<dϸgYZ7zXZִF! 6>j]ŗXi%#4KC^I-;ƝBJnd%̋]s6[M+o<>Cg1""pIO;YH@2O}$^Q?4m6"x^R AJy;c$;y+V#' _]Ka'$Xۊ$ɴi'A&5 !>)Z1ǁ\}xL.>v0+=0>CqN%ߐa}S3&Z5A½9` Ž&=xJ 3 S0(@kr5: 8skiS]Rldd++}:(p`YGLԈӳHɀxSMfXdHx2xʈlyCC.^'*N7{N(Co˹|4 OT0)*J?g'j/U0:X /@)! R"L;zc,!yWtu~'mLprM =*tgZ1#3юZqIr'q7_6rZJ #V0ˌ? hX.uZ %ht !:#_b|M#ufr5=,R'=V~][#6L,ϸ albc+/8S0b@Fٓ[riUu7s&Aq8_rbb^|7 !bL l-pgYZcc791d74bc7529c70d9a80fbbc1973a87365ab372bfc9fa8902db3916d36ec4512397ceb264483eba820860ceff2a41c19d69244300a91520e7c6004  ZF