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 VI 4D ]/ Types_Tableaus_and_Goedels_God:threads=2elapsed=22.847cpu=23.972gc=0.288factor=1.057zXZִF! "]ŗXf1-/6vR[l>ۋZKY3;LBGc@ldvXL`5~L4،UIBN9LePI{"d<׶ d,>|苄N3ObYciw{޻&W<~^{~) N1۷W5>0$ڄG#/ .OK%tz!S,JVfiG2#⌆' ,6Zړ.= G`_-y56I_hOx`fK9IWgoi7~&upc3Y@ q+2C luǣ]`z&C2$'J =_po5T"n6ު579YYk0[kLy,+6KfL;l=N9Bb>75=m e 8/ 1뽷G-[xWdxX>NT#6cTxϧe|";UaH|^WEnIs_ & #m+;w5鴚Fluu݊?صtG>A ,I,_x}6 >]˖@HJGz 5(i/6ei=cPq,7.!εtD˪ԲAH<ܱgYZ7zXZִF! wY]ŗXi%6fP@w)r;6H@POˀE6ED.0/e gːfW/E opeO0}NSAa洦ڝo!3B>kiNqq6QȱRIɛjPAy֌G ^I5s7S(y1乖yj/ 0 yv9HTKʶtzFikRFVXa[GyCzM{n e?̩H WRo+Yyجp{ CA#A%Hh$?Ql8&ۮ^-R9W_Ψ><#O{^>rZlYtSCٲc 歬KfN X&q~L;:Ȝ06 Iz4Rov 23ؑn γ& <:Ւ=xx)K 3i; $G^U=e&0UdmB" *Q$r5xv\1s\_uM;/M9W}dT9gy3HB*c6\CALnΨJ( k_#R 4U0Vx/~rɬIkDː )\-S__uIVyd~HhaZwR) x'#[OmSQ>U9 t4g25iPrD:p [\jKN&}h NM.ǏKaf:bu"p:Xآt1I6>XhҐwN!a8$Sos<ʼnS~TD8Pk:f:NZrʤ LۙPE7b҉ aW]"}_{b @Bn9'> x2`'=EB.yd4Fer 3$h]~7r{C Hle7>yΣAWȶኋxȈC CZX z?FulJ꜄7'1\'j[NbOԼvRPTlbk4Zx]¦fX TB7t4ǟH o! ,3Æ, m9 H  n_Kwa$v E4MVzVߘM"kyn_- i_T,>?3..`L?qBXJO&]6=oڕ{o7WU6g$H};4%8Nek"Si|яZ)`5[32 XlS$0gJ `.ӇA1by@)Nti(rL*%lYA#,dqW*!G,ɻo l+#iI. Bw @'e{Mmi]C,(*fc }i5n ^V& nc%~vqs%{{DԵ6 i[LԟrhRxToYakަ+`ɀ ұgYZ96d3ab5397e06360f78f15e87ab52004f46c831d0a2796d42ac427cc44af631a8b97f23c746aecac d64a82a2189953e009885b82ff3fe520b1ddd159 !I Types_Tableaus_and_Goedels_God