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 S' D\, ] HOL-Cardinals:threads=6elapsed=7.737cpu=40.852gc=1.788factor=5.287zXZִF! ]ŗXf1-q恈<-¡$johkX2I)']8PI{s)=H9 ]}JVʵV[WHSN.@?0C&@^Ҝ#s-t4X+\j=aw$x}S:"o/eNTR' hJǕ߰LqEN@E|ZDXP p{:g y=(G/Fvwq;CUONj@ YJFC(vpӶj!Efr^-H#' #;~^Ƨ'N(cW7dm4;*w:̬bN, jշV?]$t^]'ߠ Y,$ J mnm׼^&slZ95Ll˹_ b7bw,?h^#bAzO0e; Q],u?U,;[QjS:iM.]nX'Җ<ЮP0{735d??BP2 ~/-d|U l;Q;P )ML66\Z5[4}KlRSa|!0@7$!+dS =zw9FD x,lݦ iRTr2⬺)I؂AxGss]0 65W me,_].H(C561Ю$;Aa?iQdѧcc*"@IZ%W#*˕-$ad5x Y`rHFJ0Nh3^D`VAJB4Ia#axlusy1 :m81q?-t=2 8p}j L!Zٶt1Qw k[ƪefLN ->4P+(}HjipA2Mqfp[{;LfՖP8I%0'5)36w6@0.r w 8$PB{3Rz0`ׄ.o=[1(y7fK=}?Uq8qǦK-Ț*+P&I0z硣/)iT 'QiF'9ϓԁg689ܯ/u;ߝfTX"yԽ4JX@75`~n#9ҁI{:Y΁S@O/\yvt;KVp)_:@@Wu|' .EAM(> ?P2Pr5D /CNxR/ 2?Yϛ4R`ɶ=V+wfw~5LX2R$&Fqn>2KNZeѦxb sO>?< &]YogF'