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 { lLt ]/]HOLCF:threads=6elapsed=12.356cpu=34.884gc=1.636factor=2.827zXZִF! ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>V}N 9/\W皚Pco잷4)ix57 lk" P;_s mU.Y}{]7OH/wQ^2˥Q^Oj^ Kn0ҬGi~xWdb+pSu4k5 Gj +4c0Ewn WV_;}vrD+S9sI45PF s Ui@ІboO,~gy9]%rI>VtOt##fUӷA7 FTEy_:plc$$F.ϦkDSlg/gLOBѴY->"ŖE;,Ymw0N_f*#]Z$KS+%e<HDUaihhNvl,y)/>M[8dX5*NlrФ 0ޫзJ3=) =ݟ""l%9)5*n2ψAtax6ME簗1)L:V>XQ"`a$٪; %VԀ)݇1[[_>Ii Nx0auta=y@b!i̵gYZ7zXZִF! ^]ŗXiɟ>Ӈɇ9S2]ʊqUOi;[d?N/ѐ![$l᫚)ߞOJɤU֎y07Ag^!%I8)EWXy9d YK%@_s\\\i@o9Y "ؕ{tFuF ZOvb8%rjmyS%>K1<Ɯ]̭U #0o:F|ݯxAڒjK?5߼ti}qd|6-oKy-g&vO _J޸ˀw}3ZN9لnB __9MRKm6ފ [k(-p),/1Trv9c\8@0<3gYZ7zXZִF! ;!2]ŗXi%92F29%w gL/d,gQi4w[ьjdJiBlP/Qz١,9oøâxCK}d,Wޟf09|[FY Nժ";m*]j?,~NA/47׌ /;^J@iֹg(?VMJWcOԡGyVph#{K݂_ C$t*$&D)XhZT94+&{ga!tw47@[SyKWcq"q-BgGWxj >WR5=vY5m,8F)@Gsoeӱy! z#ŰY "ypw@>b O[ Rf0YQѥ t@B&T3e!D̜k,]sI=8ײ%dk(&;13d4T?Kc.R6BM!4e!حZ--"UYdVs#_>}uNU5 Nn A;^֑ pH8. \o.0vֱr71&D*6XݕRߜk.X"wXY1r#3 j)f:zծ"r#Un7{jrOdbQf9vםզͱ 8/8ܐlN~ϬŔ̓}|؆I.JIۃJge5C1Rd$v%ogYZ3975bfef54600298adbbca2a1abe45e21487f284341573a915193db629e8d127a9a53502c8309b6e 9e237ec730f89ae65421631a0a1ef3d055f5d625895655e402873aeefdda066ad22c92cc45c3eb2b  HOLCF