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 %%X' ,$ ] HOL-Cardinals:threads=2elapsed=21.268cpu=40.708gc=1.960factor=1.917zXZִF! |]ŗXf1-q恈<-¡$j2,xZԵ/+y}! ?Hd9ؠ9y~ghLd 1] ")qسdX.er6YcԖ|ee qd/gC#O}ߛtڱ;g[%U3 U4aCJSz@^[f߸wxS1[R@z= Ҵ ƳAC] vȹ ፭t n35&z'5b3uy&.KO+6'kc@Gn=2R"a][ިԠWY/o DNtv~FIXi RG<,ЂBD<'r/y f5%b8xUdeQ{嗀 9IvHjZۍENվ}TO6 mE Ar5̅; F⬶)=c@hn"A;) ǹffN'P쫭ԊӁtfUʗQ@م+UKh$Ŋ*p*UD#b'0Ch{9W!,UӉHKB3-C{1gYZ7zXZִF! ;]ŗXiɟ1?ߟt;9BP2CZz眭5 z ڽZOw6j!@JYtD$H^^-hz5;j,IȈϩ $^ s)%qڍwnOOC4r"[Wt^Yu߅'ۑ /?E"(6Cyذ""|}u@ p@b,Џ?zI&s6,.=ns& J>C(0hy ;CNJUG gYZ7zXZִF! zy]ŗXi%;UL=jP_-{oڻpr$1ڔ}pG^9 4!<YlDSkS,ͦjӧez= 28,b:&,U;빮hE2v t3UpR<"p혵*S-e8߱l|DbǑ`p t&rĠ/)qfWcFB}Ih1(:3eܱ%̑T9,h^KDjDG?qb3.(*ƨc!e+^/7dإFJeVrM ?{@ !orR9! *c$:A\C&`>~iI m0㦚ν Srd=J%Y~^uMs8[ZJ/Ŝovu=PlL+31Nɐ:z ,XlC$T?׫d5gear:[AuXp t0f1r(3pt' \+dHQ(%H [\Gxw`sz3)'zMS]ZbukFRa[$uGbYlvM<Ռ|H+N8wXs<-}{GLlggEP☘ЫEOIm6 BKm&Ѭ5?.j>*wA)u/ nqK8I=&ʐ Z'9y3B,*4Q &(9;:$=T6-دS"DR>V_+8[> 6:r?BT:f.!"]UDKȁQ-ߍne@U.NxdfODmjMſlwvD%& %_TRZMB S±RZ  76^`~oGɮ7YB˟#Պx%hWwI>K},5t` n6{"4`:5Q6WL"l>-R\Zf0]V 1OrvT3!R\3DGOL9rYO̒0h(έO`>SO6avst`4RA 4<ʊ}塼TR#ݘ鉕:Yq3+ cRh/6"0yZoV'/7ݶ85/wFK\ dHXZtHݲ]=7}}m'x(?. *U*Қ]ʍ؉ knIi3k4Zl+W9M~KOTW/ E]8YYOgq[翶5Dr@9D?Y|Cރ=J 6^-=lccVHD}%xpuzXpy&/vcՂր+$Ql :_͠@