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 --P! D L ]/ NormByEval:threads=2elapsed=28.202cpu=47.000gc=1.404factor=1.677zXZִF! #&]ŗXf1-/6vR[yK6Φ + ?+)82AN2mt:l# h I'pi4Gp> :Eu^y8Ⱦ>Pr)/kK #O57jY[?ltjc3[f`aW}`{EsOg5)ϡ %٢/C2RnV$Rw~"5(inv[ܺ:OW_tڑyC"&DE^ODl]/~]Xu}*ZV'L4T kw MFu]KܕCyw:2^<5^- ~-RS f5OnɂO[/G\Eȓy?6j[(!VeHLd@ԿR fҋ.D<{gU1% !婔: gf3 UݿGX=(V:B`/4nr_U#0`4}"WۯbxiZN3`n6}m KS!'@SaqK)"kz;g2#I-#Ƒ&GoL|F(dn-[3'e॑aWI̧Q.tgsپFƨ`ߪW,U*_,B@3^>b\76 +ѩ^@O*C-˿ #SD 0䈁..@ t*xACd8\OuO(/?e h-^""'dӲV*N@qLo^2#B)Nd5x_V!jgCJ7nM?9*uP\ڛFZٟgYZ7zXZִF! D::name=NormByEval.NBEelapsed=11.432cpu=21.400gc=0.972pJx"%]E-#%)}YZ7zXZִF! m^]ŗXi%6Sx{Dq& z@[9B8 "; j8"6\Ͼ1,Q-LHnYbƑQ'8ۡ2"HJ^ԠCTXq}P.T_4<ϻM.Mg%U@)X.J%8J#'id/sY}G1mSz )=1]7Ir!C6b#p&'RjT;mj\NnldJ 7T.s10}&ld=z3*%Y\أ!ީjn0sPDofFezý1?h4'W2@Z2v?`ȼI?_HeNp yZr.8 S|Kdn-G/VrTd~b^8/дy;ߕ!&mdMH-lշcmo- E#<)RL`!0>M,(YL o2θpp%͏f#9|`'ub#N8txT&Kxڑkh.(5\s{Q.61CV|TUz?=27DRku$L9 u3"e`+T3xkhb륂tzC.4.Fhzjy- =xv8elvJ =G/#̜=Sp_3IRLrY6PXjS.pu,9+_7"&fDc3S'I|7?o$2ռMh%׳;%m܍]IAp*W/ՈY/I`D,+b|vUAh龐Neӻk]An^U@?Ňb]S1PuHKx{I 6 -ęGUS'ȧ]rgH25)W~+sM"@O36M_D_Oۿ05IUoFyF<}FDE{Ad@r9/XO"t40?V.$s(HrbV%/q3r iJ>Q&C޸.)Fۨ7G<ޞ[.quu`m3Oڵs$ >ۮa4vU.|O6pOC'{9 YM$x i>L/p6C덋/Z]ȨQ&lѪYG|svz-t:$6,x15p,0'ꮫ8}t0Z`BFk]#)7 BA4 tD3q[gNХ]ƼOR7Lonj.ÖBDXnV#