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 N' $T ]/ GPU_Kernel_PL:threads=2elapsed=7.349cpu=12.452gc=0.704factor=1.697zXZִF! q]ŗXf1-/6vRZYevta9"z`Xe냂EZ?"< Rڿ$ SvSʼ19.46=zn5VZ5٘ZsWx_'NޞSJMC-ڄJf*VKAOަZY|q>Kÿd!W]M{S ]mw(=, "!qtX#QkG I^>8&t?wC%du!`rM2 =u@ӥbg[ȐI'ga)VJGt%A iQ083f =L$K|jOqE*RA,EshQ2#NݷijTq~OB b/>vܝD>c_)Eu9Ak{eXjdgYZ7zXZִF! ]ŗXiɟ1{6{ `pamLRC"(6},dR89ެñ4bucbT2tSu%7P6UO8ͿƇOgGQH~[z`; vP'4MU1P6|jU4 $Wu+ny2A ;ًAk5#m7++qĚ3iUyTSܦ@TS[X\eqgYZ7zXZִF! 3zE]ŗXi%;w-2R0Cg% :)"sPm I,mSLV%];`oAHH;u8i@`Ahʻ.V x{})a $!gԆRʃAͷ:׺#,ql-1W4Rᚵgt!$q%`F$x$xEKx!Joi~賋BT eVƢ3&e po7?~Ȃ.!Gk孶C[ WI4y(  g|0SBrV/PV)@e -4D1MY2#zG8=ڿt Д- 2lF\|2Cd",D9 \_6} |3gA@Y k[i۰7)Yb$*uU?''es6R喤~F 2NYY6^ޏ{Cܟyv~|O p'tl-rX2",/fj'Kat ٿ; {{$280A7˗_8[TB(> =٬ 5{;X],tDգ?}zoD_Q 7"t6ZcɝI]T}g x ]MV<>[߮'WPȡ