SQLite format 3 @ . Y Y Q77Atableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info )D$ SS Rep_Fin_Groups:threads=2elapsed=97.573cpu=159.296gc=4.448factor=1.637zXZ ִF ! `j] ŗXf1-/6vR[O\"mӼ$zX6Auv$}#K]$sN}[Ь]Oz7[O}BPXp :_)Fw+49z0˻R#б\ѧrzm|@B1ZCp8CedDjWڼ(9h9 g1NB &Hض7~A*XlJ;jK8SW d5w+u)ƣH@J9A6naVeb] Thy?cmr'S[Zx>MBxCB`J(xvu pHeYo^Ar+Ǽ@Z6꿕K>e}+P! \ Z.s)6*ϭ[`ɞ2WvI;%8Xl1~b3oڡ%/Qwj or~jn{DSGAѰl#EtĨ[4Me'{4&@3MP5;Ffm1뤃|-7 F. [_RFYI sa}#bU/ʫìxTUY4'Zu,H*ZƆ=v܇5kRO>dfiAWZr^\Zs/־Y$_ᯎU[C1o2Xj\msd466SGRmʬVx^[Pȳ Xk#4 g۪,³XawHUC~ق(yٌ( %yrHŊ5ܬs5^d鶹nl.F?)/MQcU2<9Dn#Lǝ44Ft\'*'a%6*ɏή%Q\_Ge)d8 =O:;'T'ҫvA/js?.J|''$$gEa8>ͧ`FmzyeFUB(Θ" Mz8*ot@˴;`rcWlaIyKAǤ+<+֧5@,~.#vo5. /y.̌l!{vbPB QhRgp\ !!@c83,Q蓎])2ِ}cր2?;b*/][$L_MP#u9}k$E`@$b@t]sXb\ 3ev%