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 e/| / DataRefinementIBP:threads=2elapsed=3.020cpu=5.676gc=0.116factor=1.887zXZִF! / DataRefinementIBP !7]ŗXf1-/6vRZ"P*nI۴UyT,!W-+lMD:#2WjW ee)ҍ]Tg2 i_rޕW HkT3>`-;KMTWܘwkks)*ʟtocD39 Jk>R/E=. aـWAPʼ8; 7aLjhD } ~OЙӱ PYi1Փ:%7c> !_p={Љ•b.8gӥ%0wC]Ն_}@6gu:⊂5"U#|,:}RUX7@Mu۳C zT!jZz`9"!cD.|g]fuIB&|Q˰:3RYUZ ~&-ơ_U-:֕Ŵl+06,`Rz|NꬴB!5"ݢ Պv(E/Y'sH{2[j nQOAkh.L1im่tcʐ+ RtGyt0yuiB($oYb3-@o)!D綶K$'v8A D:mR l_@^ެqa{3F_c-ͣaL9ܟDx:j4C?JYWElV978N-9æjt0_̪U*3,rb~8>[T*=ᰥdצ& FϰZjbhf >yZǰ[(f*v멮@_R',뮛6O~1C]=|gYZ7zXZִF! <]ŗXi%̎ڐ;]OAHhc^[n WY6 o{Th|]GX^ (UZpG^K^vCk9ul4]p,,ef\Lk7Oǘ}j4-lc`}'xRt +,Y.,јA.#EL2K7e)Q7s*RH;"r "loaSdIW(oX?Rd94cYP͂I"ɳ?,6uTx;ON FYm3/sКr]B6G0xCeL"Dp o!?gIX ;i|6h'Xme,|F{bIHHodiQh轄(]eae՞va2.Qu