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 # , % Random_BSTs:threads=2elapsed=10.559cpu=17.108gc=1.144factor=1.627zXZִF! @]ŗXf1-q恈%kV^M[-a2'161畕\op+ot)h{cA%cx IV0D O}Zv+1wM򙽊L̾tR ݛ # Random_BSTs1T %p\i2l)^$#t ODܔGD<?"׷GE/kE/MHuO ҝ+a6# Ɗt]ghչ{Ȋ /*\[Hka;Q0o鹵&\mH bC0mAǹb3I 6;[4 b9rHy7 Bʈenm[UU״MCmM̟ r+\TU"J'17ַ!V |@8uk?nnʕG9VAG(]w[XVE:ެEeL) f&h+glLU1m ok3#oTdAJG}Iv\j:vt߳".E㩟KM rwRIJy9qJ26DBkGzӲ 41 a؉9!cUz5W %R ;P.uD]{FK:/C`_k:g?n=G&nʘ>>${u\\%B8TТ~JU$<1JYX6Ō2RPA2JQ+xA.>|sT wwcs m\0WR[ Wo:650V9"^)FJf6 W묭 0 w 7&y0qJf`طTtDnVeJS}AG70yt;:MG8*srY +_̂ B#;Ѳye0^TL nPlA.@~]yU@IN&ɑyFm=!{A㳕;5aX)[mLX^i0Mp3afN8C_>=I k䩱gYZ7zXZִF! :]ŗXi% -ڕLM FKb#Les$ rbM:qdY{;-Oz//ApڇeES&vvҷ(#^PF͏YtӖW5IŨ ʐ*PKP 4<0YT?^N?PSӶ_+I^@H^zG-ξӌy䖰q>FDib׺a@g=4B9/,?NuًƤ ;ly喒mW){{g hSKfvqnfhGË`$GJ^eg2Go!t"5<)9 =9{()ro:S Y9Oaۯ~k OtӚ7K!<;F Sgxxi>B)2 }+DI'%ti8A:ml)ą"z},N1aWW; VUY0Tbd ]`F]-ZJbgЈ*/m2]} ˕hvۯ &.1&Nߍo7WŐERF_YЁu.n;|dܼ;Zywp":p1) z&