SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 R1 <4 ! Separation_Algebra:threads=2elapsed=19.934cpu=33.404gc=1.548factor=1.687zXZִF! {W]ŗXf1-/6vR[]]uRlindBkTi 3A \A~z[UqtV$ֹ:v Fq6 X.qP[+"W1JBq)4BM2R]W=OƨF{vJ!plbahW`̆m:h9B_ κnG!!ˑc=7];XCɾg"mQi~[N1UH= Ęt3Uf2&^`EcyL0\QK*W "v/^Ɋ\v,O a"s2+:1E.i=!07sÌ\b$^'VgYZ7zXZִF! i]ŗXi%6yKP"$̗#PQv?* MfVpb?g9?X=g9=C3emE5mz[!crtiٸ dy1 [>M5H~? Rpdnes'XE /0qxf!mƾC{r<ht!@l@ kJ%iL]hb1:Bq'(eRh\XC[LpԠLDַl Ԥﭗu'#-}Q\mq>'GiyfǤt;g\X$Y: uoei}H]Rꔂy%DĢe :X9>Q;!bV?P곿”P޷к+A|Y[=WkZ}FYۛ!k4b31YA\}Y{8P`B_!KL4 DuK=%/C ^ ^>F4c#څIĈ!Ž?G;=fXċ};Jj.T<|LW~ vj) 3-HV ]97[|<%3b^%cИV^3-PmBB l&0 wa+^!;ƩYH%waY  l1 %2PlS>{<!#jF#F',Uu()DKܚ' \eGi+Ls5!_R"r5 uh=%`^ sfD̵0u (/ cQj`kz1ekPC{㭬C9z1q&7%3`& Z X],_>< ;P<!JıYI"`cZk UUM! ڲ/9;sdy\z(tlZ 8wA)(nB?i%ZZ1'XI!)W[S(@AHV(@0ZP?4St$\kGcr~pTkel:p٩$#"U햺u>x_ڗt#8nn=φ2F tͲEW;[7xMF(Iɡ؆ԵW^: ߧG0J '@󻨰̡rDP=rx ȥ4MWsӤzx\TsDh6c5=Wpp"WQ9܃1\k]3 7V\(DХ2@RZ%zm#Hq fO6ӳwBv# I݌DwΑS>7U @