SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info pp# $4 +/]HOL-Nominal:threads=6elapsed=6.179cpu=15.868gc=0.672factor=2.577zXZִF! ']ŗXf1-q恈͐7ӺV ༂Mb0v9?cGWBw{$Ϗhl 96L/n1U;b4IMXnb#wyFzB8;*+9U8y'SK&ORD'iWBnPwiAX+($eÌ֐V>+vӘ3IB'1r7/ݼ);X #_\ +2*NMNy@ KAxNU3m/cd1n8i9&L^S*5(xO, Ndq$G! ? *sSمrLd :rlg7&MK&JB[Z,XA9dOgz`[ u ʎ 0s 'AZfW_Wq-K+MHĐv%1i,eJG> mL_}٘%3}sLyOY{17SŹȂ pG| 8bԾgފ>U/02 uu@jxQ\7M-=sbg"2Is-Dx*ۋ76߮D3+kqB*f9*ID(K}a_IySߗvAbWXZz;z{Z˱yeٻr竘5ʆ/v,%rD{MvFxOD,E3WN)5ӁX=V+'T{M{RRɌ>:L3o';hG#u&<Mջ]$z=~xT8x1# W_~0l"n)/撹{.Z&rQܦ~!!i%wa xTFlt] ` (An5FNH/ޭ1!\@CA+>5_ڑ:fd9;j@EۛWx