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 O' 4\4 ] HOL-Cardinals:threads=6elapsed=6.560cpu=34.280gc=1.168factor=5.237zXZִF! ]ŗXf1-q恈<-¡$johkX2I)']8PIyKaJ̧FAA=JDKKnU$UT;XR-F"*n5ꗟgT%vEK;}`rR\0T}/ AO6,5rFReCC}PJwO:,BF wouH : Fu4 u83%H`5n~NL1q6$B0BJmJ[նpuGp iO9$ 1ٽE Ozc7\?)*~-!dJO5hml~$Uv4vג+'"pw '?(nLԆSşN̤$}"k!\jSKOɍe\lZ>u{  |*` dK- ,Ʉ$]bq淋-u<ÓT" +'(4I k+y]Tj͌q!P-l9Ƕvm-%Jat =K^wgYZ7zXZִF! !T]ŗXi%έ ⁰> R hƌTUx7p.ӑ9DiT/%I3/U3\~QѨ{Ȥh(EuIm.m%7_%Yd6%s|:x(OEP|?` W ]sVfeS;9sEwBW,\“Qxݥxr rRצ ?أ vd fO؄*7l#m35kdfh&.(6 Zo&םAQ~eFK}ҵ1kQ{?iJ ʨO]nDY2@iB ZbaÉk; SaEIс2/cfbMT Eo)P}m^|oĺ:_6XRW)U m_`qM X2SFHٟ^"@.Py՘(;=~+_夳IM"B51 hY*ەMNaf'5B&cꄀNJJ,\_*vx