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  ) )T# < ] Integration:threads=2elapsed=12.413cpu=21.920gc=0.692factor=1.777zXZִF! &]ŗXf1-/6vRZX?ezhu,Tw@:`yBO tn.{S"vM%J_bIlIDg ODj#-d_4 6RA R-}0n#`ӿ;+v>o*H[rgV>K9)Vg-FXy)P}8%ٷmk?O0ȣ5|>˪=J/kF&=J, 4';#iSސP7$#U4C+Q!j׌&`4:p@+ "+Vc0VhV f-jJĶL~Tthr my.*UeڊH ?CI3p:wxsŘ}bk:q`= VNQp溻6{T{M Yya,s# 튄oG2aZ.f]UE]%ޗ6̪c/)#}wD pLjOE_Ȟ!QX(lI^>GB_%I@= 6*:l1BdfE)dk!7 073Ջ~K~tO8%²#L k$ĻT%4@GN{ EA$=aeZ څZy^8p[%sLr?i~yŪV#T>!]3ϖp:M y5ӓhYoUUg Aq [< @W䚺򻬂&\zO؇Æ.^󻤸kM>ϪcԚ/]r6MeHnhmٮqN}Y`b+黆ozk2Q 0VKgYZ9dafa18690b1ffb91f7694b3f89e1b033148bd4b1e0d760b8dcc7a202ccf9e071ca177b2d6e00047 82ffab2c85e2c69d04d032ee5f468652fc7921e8 03989dc119440e078d11e8176c7844190ed072f8 # Integration