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 xx t$, ]/]UPF:threads=2elapsed=30.919cpu=59.524gc=2.604factor=1.937zXZִF! ]ŗXf1-/6vR[y,o1=}8qՌY "9l>4RV$^z0SQ}_/O4@*QZYcC$E1sJ$pѪ*)OS9z">4RvT y{5I&it:">EYˉ9i./[uB&GW, YYȲ [mS=E#ض+@kY|dW4BY|Zi.ml]∧8lՊ)zր*sF~FtUR@@IJEi֣w r鎕`4-R,x]@@]2Rԣ3l-gYZ7zXZִF!  ]ŗXiɟܤ#k0{/!sW! y},pz}cY)o^ %Et>/~zn5e1,*S#ɫާ-"{xQ4/ch^. yJj2H'kgFT\ Դ3UHbؓQުj|P4<ٵoFR;٣s}1z6L />cDr^Ä'l@r N"PcjYz'v%{Mۚ4ni͐gYZ7zXZִF! u]ŗXi%9*]9bԴYA"bA[LrD J\^s=-̣ax@]+Tw<Ef2ű$ D+{ϭZlhDzm%~ga(|s(N^~|)dC Zp fc\d^yIlӳ¦AC6V7-4`TƧKF'ǿo8 G> sMl5 f"RCef[Sfzq ]݄Xg_ -p&mB+;py)E16m{ m]^}^ŎhJ D㘄3A5eI(iz ([F/gS|# (ȱ&c~^;Xjgk"2.\S}=qw;ckkwl@ 8SK9"'ﶪ$+I9m.;q_.RApbZ[CuBtyc!q)s+ lvpDz3|xmQgͬޓmɚr%r*wOMhŕ]$8z,ˆ0P. =MvP%֨VFAnG=&0+YREǦ.bDSIl5?/Y BL19w$bz5_8lVZN+LɹoO*VWIx0r+KiuH)~D)JZ+Kʜ|ȯ eE "f@]栟NkG'ݢ_|!a8*տy L'pHow".D[/GH0d(GfgJ| FyT.I-0dJflՅꖴ[ItWQY`_saVu5Dd&93C:LV)9lؗ3gF;Y+*3,3&z`܋C-#fM݇DbڏT5M:bA*Іډ?"G8mI5sF{+|yVSasU60x.'/~w#Ûa͘˩Ty(\:l-Pw+;(wo$7Wr;8&.RF~%Xm/[iu Ps!la]|\XgT WoC`gsL-Jî7%H*9oDC _Hu8ƷMLS:~Nv<5'}1L_x?|'8fG0-~sg;:{q7΋H5>x%) pN3)[:Rx*'):cf!8@YE=_Hrlrnᬬֲx58>Ul6m̀TiJ@zfa lMkmk] %0c;|J#Rא%# &- 5כW-e0sLrGAĆ\}FFOoImڂl+>m-!'6WW\RHJG$J5<"uC< JYHi@bA g7xKqg?eV#by`JWEF K9FJѤzY.${0i+әڲvG|[?Y{TѪ)[Le48QNgYZ9e47b2bae4de2cf659c3df7faf7c00e4bfb47314325386da1460dc38f32089d1221024ec932a2181 06bff5eb73bee75606e14d28e9b646bebba8f56905482ed1aee3775e324bba3903f01245c648933f  UPF