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 ] HOL-Cardinals:threads=6elapsed=6.318cpu=33.444gc=1.176factor=5.297zXZִF! ]ŗXf1-q恈<-¡$johkX2I)']8PIyGWd9 ]}JVʵZШAzԾ጑2a`s^ɲD¾,m=|O Ikj^R򚱢e/OCƩ.cR뻠p;`ʕ Rt"pl>tK bſ9 ;2d%X~QX/kg%ABm&wTaޤ\YQқm$ՙ$v9vdq9 5Tp-gr@"C \ a22PW g99#7n [&Ħ<ѷ?}Ӆʰ .] A,$XO+Q8ˡ4`<9MWo=esRL&*$jA["WĂT(EL} ?aL`IP$ 8.ß"~K1[pxu$ty,&L Bg Wl9 n';v)+>,tXGkWO^|B. +=ua*!n