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 C' TL ] HOL-Cardinals:threads=6elapsed=6.821cpu=36.060gc=1.136factor=5.297zXZִF! F]ŗXf1-q恈<-¡$johkX2I)wý 1_o^*}v U6˜@N3T0(W.cnK|sȨ3Ddu  CgҡȏXIlXZT8Y0Ѩ;@^5 n|dLIy*2ץد\ebu A5D7|.m+|s2,[NNI^KU]W)G洭y#hGFAZFv4?;8b +q 5~?a}ʋqo < E߾/h [5܅&5jyOm!!*j)2.HOthkRDTY-QkZ3eƱ%n0L0dJSgYZ7zXZִF! ;#]ŗXiɟ1?ߟt;9BP2CZz眭5 z%zO0e; Q],u?U,;[QnVKP{W̗Z ?/L~]gJ޹A@@)G3z+MF.%,b7#dx̮XŁs[cG,.3%F{r_Nx\! LJį23}|Rgj?䢉93Jb#I5KFSAȏ<5r߯WI%` Eߛ gYZ7zXZִF! !^]ŗXi%6Snճ#% ] mCaT^-g) :N1XhqG $(&jX#nZOYkg첶7"*\+xP&Vtn4uZJ0 ^]mD@U4Lmv,1b3oP {JJbYG9tsL Lng ai/Vc~fỸu*>AG;2~>18xbExʩ? ;^.Kƛk a&'>۱7 A4݄ߦwM@w`W^PF|څY"?otXbޓ hh$ذF4xtIN[>u_p AÇk`[K+JL僡vأO }3GgK[@Z1'pAF)t}VM&t˔/PcQCur\wی{rRl6Mw:yC,]jB[iƱgYZ1336bdd5a12d9c1b161f13daa6eb6d9f896ab4eebc04ed3d5e3d39fc11eed643c195af42cfffe6e6 af27b793b0e347b7ff6acebc98cfdec3738a93c2 56c99ed97f96b6895878485285d5451853e4f70e ' HOL-Cardinals