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 K' 4T4 ] HOL-Cardinals:threads=6elapsed=6.323cpu=33.516gc=1.220factor=5.307zXZִF! ]ŗXf1-q恈<-¡$johkX2I)']8PIxi3M2&}`?rLZ9aDOD-{Y'hZ*ˡN#`>2GLOMn[|VEg&,@9}U?zNzbԆkx^8_?˙F͈h(4P */l)۸MjɱD0{bh1&~m h6MMG1~C6"IrAn02ƌN31W\4}X[A0Yu['ț{OH.@Âuu7eB6W4YAx1S~7Y3V' g1vK ye+ݖҾ.<=ݼox?0N@_hb ~ Jx߿LMK9! Y8fY[AEPլUw')| {s!YBJ+`۬c=*K[&zjz+:O)6it+dA<OxQ'vkC))L+JK[1j gRhq3eĩlZQ`I]) R "=2p6&O_;sO\Y*v򟮬y|z[ n|KZLF1:&Brz>Й^ Vm ҍjT!ID}Ak9Zgk`C䚸hu&Ft6PH= ='0Z㕲542@$=Q?_f9xwb{A<ؼlZ#uUrߔϰ4o ;HBhE I<ڳMQFg-%Cf+I9G/Ū=ONgYZbc4827b01c7e12188c4c90ff93096f2dc5e73269e2bf23c7d7eb3616a6ada91fb6d55c5b24a424db a63549e9f792e863f2c65c2de3f08035d4b61871 250b0e802eec4ab458c9da26debddd91e5310ab5 ' HOL-Cardinals