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  | )/]HOLCF:threads=6elapsed=15.659cpu=37.108gc=2.076factor=2.377zXZִF! x]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGڿvQы!&5+` 8pu'6^[՛0e-Ek_p#U飈~O F7o7_Fy\ˮ9?HD*xκxEo19sћ{C]ZYb:}Q2YWZU&c[oC/F"Y4(4dW8B )S0nOuUڝv={6(x#hʰ8τ(cWIRkR/~DzsOk!8yb=<*fҳTS?-w2:=<+ /GCpOLz  HOLCF%WV*{۪fQeK ɾcJϢLyΕQѓo8ho1xtݑ-eRq;z"#Uilr;83~3$Nj`xai!3đչt{/Xd Tj(o3,da vnJ.r:y^mlc',b٬.!Xi}DثB &0bƱgYZ7zXZִF! Kn]ŗXi%6F͞:˅R:k$mSDKsTkYsh^Y>A[7ݮІyI*I"̀]:dY3q@D&Zc/BX|ź/iwD2 ɻ^z;,zlJ4В 㴣~u q,&+.W@j7oQ TTvet̟kuL9S ?d`Db4:KZ,QH//YvEX}/wkLSX;F˺R0LnKF!ļe_mӧ5s(yr}@[c':%Cj~VB6R^WA $.16$f"<6_#$tdN513I/\4J,!FZF$zq %,o)Q B8"l9hƮ_)-Pz WΏ>uѲ8vZaajôqs@C)-iy wA S4$erkS'(\wenCˋSXHd͔E }f­^{K{w Y#u%D5*v~N|Lz