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  T / Menger:threads=2elapsed=10.694cpu=19.776gc=0.624factor=1.857zXZִF! O]ŗXf1-/6vR[Ɛ{݅(X͊-7y|!]5\k#is9j"8Hx?hMs u7b|I]1_c|lii7Axd s.Ä+VUU4DckS?ိǠ\PSe;O ˺G.B8Rdfcj$gp;Ohs}|yy Dw(Vh^w;G7]X棈A6ѓr :cj 99/4uAh?'߂q8Xu O#^}7B?=If'v| \Q>}Lge߯O2p)*v$4~  7A=Hc+]$ ODD A.f Pk[Q&E}Olb.m#l3&)w\I0/xXM#0Ʀ!@QZt $~Ha<\pnٗUj6Fm(/ϊ9-΢86J Rr?LM![2ė><'I,1pX !p g m6Mh P$X`ʴ:TYH11oB߇no4~5.]_}d#`Df`\V2*( }zEhlFab"L +Z|X 7M ܇W%r9F}hV1^ZhT'X%m=zf rHЅCyᡭBuvҧp[;yQ %Tm[+΀fmVy;"vDH8+=!r;8Hp3nb)L~dV5:e2}CCM^BelYC޺#k,ULZ3OЖ odjkߏH27nC׾pFGdܹ؇> lH>M5 Tsh;4ŸKna hbJ4\=J_nl\y4.Cs$Q7H~⾷E"Jɗ\;D۩CL'4CFۈ*5nT9nbwA1Brk͕ 1ćf NWޭas럭ڷsçO@³T\= tJ)C"x<*&0 ֢gYZ7zXZִF! ?v!]ŗXi%SKEn$oV/DDYT>knLؖlL %_xEagoW׹G>'6Ӱk@*Wch6={5RܛVTmjK=$Knuc #OqZ|!<!=.(Ы\ࠒPb]vr3 #0tŊ/QO2GnX'`yLhAz]7 bx1%݂m89,= žnyҷ{k|I ~#fP3 TøLGp69j˄4Ⱒz3c k]d7w/WLo|13`B%Ŋ@9 N &G*Q0gn8jY;0JV0WJ!9N3pUH%ExGBdߤWb::Kx*Tˢ_X6r>{A7{o[Ӱ$ao6v6_V@ʾ">'\#Fj7 V)َAن&m8=Qpz5<}} R >oJ\`fZt] Nyn)M/=wEfZXwJt$fi _xHi_jW7nC9{ܳM778 oSHY"r}A"zu!r_v#El( ghܤhiEeB#Jq1'D>*.V̢]:xmcdW0]guo>\ԗaywK ;U q7hOtޙEJJz@ m訕33l&-4NKZFme4FYDL|; -k>]eՌr~gYZ1c6d7d5cf895ad9ea594b3aefc71d3594016f6c2 25604763631775a1dfd72d8058d5a85198f1673c 25f683fa730cdbd88da60162554e0e8519fa81b5 2c3c130d6a9a6fdfb26f93abc8abcba6ed60be8b 312c12f90b5f5eedc47d169f86e00fca9d3fda36 43cca415774b2de6aaf537239f0d422e0f43c0db 4e3fbba262e5fac3b5e62cd0ae924b0f0cfd9364 99e044dba8020275f3699f340b30c3b3cb96b9c0 eef56b7433c480aa7f86db485ce709e5792b6158 ef0e9145fd33d533c085cf7d590cf16a77f92a42 f2cbe1ab9c807e40472dcc3c6ff2e8bf9c581b9d80f4c0c8eb04f92fa9b72ba73b988fd158f20be0 2e0269c995c52ae68d15e9236e33080611f663f4