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 DD) l w]Routing:threads=2elapsed=18.102cpu=33.256gc=1.036factor=1.847zXZִF! #5]ŗXf1-%˓> ؽΒ$%`?D+l6 \಺   RoutingpR5J^o+*kL(D-FR$yM"{OLuqj+9[K&['Nh4;Ph&mKJ; WՃ⹆NaiAP =dN!YUTy҂ibJ(Xr.&AARlA~{3bx^ZJe#V5E0wkV%"â)-Ey*=Tx"NEKRG(+apZ|xg%Q *cRqk;}ǸU\ : n&fRʻiENؐogE\&^SqX5򗃮jITlKN9W˃q\%=f]R[XĂ$d/3,(Hiq>1vCw;Bos͆#\$|[7,;cg5kƒ LɏS`8Y~X&qk?ckXZJ@I"QX婋GˀC8ೳ~6[lG\=N,,b1>{V0p\ɹ&[1rCIf,sFۓgYZ7zXZִF! ]-]ŗXi%BkCN1_2n\;)5:ʘZ:1V .[4LW~]`_š]z O$׾>̗(Ql(c< Jg@ tGcE#&i]M`KoltAvb졼e !`0Lr4_ ]qȼ?ȢW`AlcTIxH!!&tJ0 Uxr0rqVIWZ7M~ 6${&y$BNyǠ[򐳛aذXqo#m*Tj IIB %R` =Eg&PR3-6`ҏ`Zl+mе]Ls 6HO<3q'`XbvfVx_L[XǧYD΢yYjT۪`p.MV. h|=8D 攷;fXzN 1Hp;!AEg8MM|;VaY?w.aT_7wd-6tΤuwc$! y rJl![?QUcI)e\ Qx]8`CI5rSTź\;h5ǹZ jT?f[n)7yn_P=UpdYW|=3p͊`G'⯗%R rG𵲢92\8FfB#0|h;q>=TI)zl8M.+t1rv*&?dn,TՍE酪rYzE > X<eJ{* 6FTa[x~!"ڠ_.,G8%3_^J&} ]ν0fN:}8bxJaߎ_m ȻYeܱgYZ02e6745f5bf1d5a2f90e78e0ce6223e709dd3c07 303d7d7eba48c74817b2881d73100ef92731dfcd 3997ad1247c599ff5ca5a09326a165d755ba9b8b 3f18b4d560dd3639e0a9777b9388f296855730d9 69b4d87e9cab0b856337e17afce32c08395ac7ff 900ab7ecd6da99fec8ba8ffe4d1c3256ea1d32e1 99aaf14d2a8e564fcbd1777c92b08a49969c5cfe 9c7bab68154467da37776ea102cd6bc82970919a c4ac153398df77d4b04d3f3cec6cffe5f8ffbcfe ce95222cff59676a82aa7c60323841e4bb20a604 ebe1e38c8762b6213651f2847f98569fe75bde65d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295 d57bac779b5b488848d380f44507ec94d26f5b25 4bab39fedf83ad3acd2ba41ea58826b374c70ca6 e3b0819b113d3e80741d6d6323f9ac8d9a1326b6 16a104c7366eddaddb582da2c272190d38ea6f5fddb5477fcdec8c63d2dbc2a89c19e5b62d7c4b4a