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 I t % Trie:threads=2elapsed=23.151cpu=25.556gc=1.040factor=1.107zXZִF! ]ŗXf1-/6vR[ltǧT3(*{>-~Ζ[h Dn⤏sM[])%8F4XfH>~DٶD% l3! %vh-ݼ6TFi$B <$ N #;}z.`^X*Y(nD6N2v.?+wȼ  TrieڻxQGl|׸NּsP.S%[Ok#8G;?ÊT[;AQ.uxZn#IOMHdcBN$jlEpl.ZbI;vg3P)*-[S#D uItyMjP@jQfin\,wcbWpp4N>&gEG yJK27~r_r .= 4!rQcI`n1͛wPB=iФ".ױgYZ7zXZִF! uj9]ŗXi%Rl=% l2A<3~чsVad(־ Y.cLՎR՝=M:47#$$Y,Ve)n]E~Ӹ:;7F` n9Aˊ_uJC_WsXDAۥ$3CJ5m\e|?SoRJ6#l×C[T<{%TRUoԮMLYg^P -.# XoZiwuHzLWJ`q C2fyτ17izAR]f]hh*mAF||I/οj* \Knj«z骔txIA0 S2OB>ƳڿtX-h$Ax'Cz $gSă?-Do6JOڨ <OYt\J@r Jċ,=f Jc]3g#f8(; o/ծE\P'# ~ށ'|zuR}M[.,"PϬKEAY xy %J{Om8aM\l{Rn6[9淡}64cӐt5\$ϗ$'j`/Ѝ%ҰY%{ܥكzwÿ-T5G% z4xwi.@/fJl&߬TEr>}*n_b̥yqH. Lrdz8Q0 !~нQIngϔ%ç R')sܬ1۱v=}ąF]@㍽dŮ=ͤj#|F;勰=]~DωwTI"CJFފO2z5Zd3*N*-~Ƈ;+ x?[ yi=O;aK0MDZ($ wgYZ2a1cacfbfc3873f8c72195bc9d967d52c2901f54 3b5243a5a993cf02a40cdb507d37f2f7f70303e1 5274e26cbdcdc5e26b1451b8c884a7696451249d bb248e78745608e8bfa64c29f326852971dc57cf e6aa67045fb0ae0372e3ac731b90b4144bb0b9a080f4c0c8eb04f92fa9b72ba73b988fd158f20be0 2e0269c995c52ae68d15e9236e33080611f663f4 ab8b0f5e11437cc3b3ba93009ad67ac171c6a59c