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 _' 4dL ] HOL-Cardinals:threads=6elapsed=6.418cpu=33.688gc=1.364factor=5.257zXZִF! ]ŗXf1-q恈<-¡$johkX2I)']8PIz|<8g3 AL :ǽ]znS!5U&#ٿ\HrbI=X 8 )_PXB$&=k)sZ?{-Gfe #3+A19ܬ'3$8~18l :@%ԦIdrYƏ93a6Y}ܜ՘ߥcn?qX̳-SoLHa(-_Tͬ!a6-SS=סVd!6G*7 a OѢ K%ж33bGIn[^ dҘfGNkl|v'Y7}x+7.=s@W1_ ˫T4+T PՂB^1ư[ipjotha˄<.V׶$="``n.$23oA[glIkhu|ŹM6BX}(qS) P7i"\0AG1IiVZ۠uFgWۿړ'gYZ7zXZִF! !`]ŗXi%96KRs*qKX]g4c~_t=&U32(f_bČ#6Ȩ=8*![ VC{aCiIܣE'>6<} .PbD+"!H`=%o.  : ?`.9/OM2JAj=aWy XebXU1\ D';o M޳h/)?ETto6{tz|&,LU֛d7͸LkE)#ƕj\<5'Z,% up0qٮb<5ju:zK(ZL)gV>U\Rmy՜Dx\f'Gw QXjOS=h dՀmv*hC gڅތ*j[GyރXoB=KN)[`V/c}O8}Ү/qԖ #Ǵ6!rU|)^PfHJM1Tq.c3x=^f-e1v 5%4aZr/f߰)S A,bZMh(o/,O)dRϑJ5'yeU(1_YyF`]Y@=J78Yt033O z=e-$ī hu7 rIĒͧ8 ɏ rU!0w:@uvf͸QBh%gYZ44a2c9d8824b3178cea27e15c77d1c8e99ff125bf4b2c6d5d738b06d204b6be11a7ab87828edefc9 e7adafd6063385647279f71f3a5428735a09a9dc 8026c178025208535b6c657df78d958706faa79c ' HOL-Cardinals