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  ;9LlT ] Card_Number_Partitions:threads=2elapsed=4.292cpu=8.088gc=0.116factor=1.887zXZִF! ]ŗXf1-/6vRZy_İ<&9sY^ق 2wp\OS;1Q]}ܪy ^ՂFXE.%/ v?.R3xdr*m#8 XAҵ.:MB F,XgYZ7zXZִF! o]ŗXiɟy<C{ٞğ3 H&rAre"RH̀*,fJKqFR1uu̕㜍4ȱ@Mw,HgYZ7zXZִF! %w]ŗXi%9*]W=t:Nrjs-%!o}cZ DI6ҪVolH*k&YE ` ]>kNp!c=/7J!irrIu!MsVHTӍ>w\iI;sNKፚQ4mi jJ+bSb%;wi!h)ʽ6_%[k=yK}6^Xjjc@lGT'\)YO!'h$gV׻8۠^H$x &jBuS DQfBS,Y]ۺį>O:UEX0"ܳ7^힍`QbLڗ)HNܾ)*;@=*Վ ˗E-3j5 ,S|Zˣ 12(ZW/ ⛎\b=霼ZSY6L!IⷪxJEY4j@Wp\y@П m8(.-!m16MUqGk8;HhBxOkC 2DŽMa`Y(aQR)S Вh PW{fgׂҀuXEAjU>ϢfKm^tGа@=nє3)KCJ?ƮѱgYZf291b3fa131e2499e87e44493f6c2629959e57af325386da1460dc38f32089d1221024ec932a2181 06bff5eb73bee75606e14d28e9b646bebba8f569 78d36a4647f0ad2dbd736c70a612f4f7fd4926ad 9 Card_Number_Partitions