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! , t ]/ NormByEval:threads=2elapsed=26.162cpu=44.756gc=1.316factor=1.717zXZִF! O]ŗXf1-/6vR[yK6Φ + ?+)82AN2mt:l# hҮ j=cs%/aގdEO|uJ˄"bJo»{jwCсq xтTpכ6ny yv6h;W亖vI'i_7u{鹤Jqzq~92 _cO/,SF"paӒh^ zQyMؑ[bnLv֩l`(rS,rw(s|@6Ĵg#ҰpD\%re7dgG10o8|%I^|hBqwR,rKc|2V ^@>$pr' R)r@9 kK'?Σ=w4^Aǫm] `YQ(>mvyެL˽1/JEwn|zkFUC[$5iUAyF@j n05G;cwI 5H[&-ARw`V-a};z9ñwvx) i69 m寤 ztHs /۩߿T`z\hY,0! %fgT`*$  VE$ȃ/Ht¢EQ]Q*+HОē%[nhq//yeg"PŊQBڵY*`aYP/y>2gYZ7zXZִF! D::name=NormByEval.NBEelapsed=10.823cpu=19.948gc=0.892m3p]E-#%)}YZ7zXZִF! 1]ŗXi%923PI ^<%Nfln.c%qn[NNfR8[21/ax1<so\ˣeU1J0 Ѿ7Uwb^ҵ9c![0yԾLVk.8gh| Y{/["OhB=n]嫜p&cU;" 1j(͑>|tb,D?R#{Y }Ԓ'[䰧M؋$B$A,:j׬b,Lx~v+KX EF'>O_t}S͒ޅ`uK^k"xځmõ 'Ĵs'@̓r,uPPshFPd(zxng(0ӿ0!JWbB2ۤzdĚ"뿫cէpQ;Yvq{~6l"–3f9t,B)عF&Q@Ș}+q;phnϽ匭#D:VX1pȴC#H/Zdbh/ ג\ "k_ x)P?CX>EV'P0v7!kҍ=s kzwUzqnBrw2B8Ve BI$єO i-oIĮOM