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 YY) |d ? HOL-TLA-Memory:threads=2elapsed=13.757cpu=25.788gc=0.680factor=1.877zXZִF! z5]ŗXf1-q恈&5v)w3X1sNϟ_&ԥl [$1ΰ I췊\tt(AKElL*Rŵbk0oTF i[U6hӯUL48ϹaiB[fd o8?7)ɐ zZbD]SAs􎌼FZnŐRs6|:3S=bL"K[7GϡmM )؏$1_zêgV|V;h[/7:/6pnO`+C5`&لgHp4=ᾍ1AܗKzF a /|EiZb 㱋mؤ6*ۆHd.[1~^~fnr{GF ܸ YׇW[@?rk&ut_&hL~^jlH,f&aPJeYy4N*iy-h"ga|uS̟0\28yb$w55h@JiZMJ+ۈI0"1sɶ]g*r\tT\C {= >˚.[軤Ґ&m=Xa$e(O``GaLT\~B1` #s7qkY!mD$Sin.Hcl ) HOL-TLA-MemorykJfc՗:k@(쟖zLr9 E06q{mF=@oȓ،ȥ} F W!S_HUP>zW6葒,iwArķ\5 % Au} foiv\W[LjnVdZ{jc'hsyt$_ }@!F4nS936zJw :۳z}2"t2@kޖM91D%M Gu"7M<>ѥw_YI7vR#TRr'2e¶ѤaS 䤻`U cFo0aW)=GQ ǓaPj ]4sG<ʃ Zy]Ktkԋc7 `Wy[7J:hPGGfq&}7C_dȠ2kmU"霂+L.[32WɔKʧ NyCݮʙeCwsCl&=-Iص3V: r 12b T`D?%pơN!蝵8G܍0_4}tHo rVR9΄9D83A sJb._s탭N2rt?~䕴LR?x=`*/IOI1꿚t!7162%iHCH5H|`v@z3[vpKIj? 'de_ ]mN{"@ލץ644{j#r畬70%lnPEtb1st'$}__nV@gK|=Wh24n+#s$_mn[ʹP=>teP^RL~~ynTNӵͮ&뛺[΍^A>_O[] ʥ?a*,vnޟum{Qa[M<8u?:&3i: NHɂfp#/8b%wkᷡ۞HFq>Yvٚ@)KR!s\y}߬A%ƠTE,r4)3]GnrOȹjV_qrHbKceav~Tڂꅳ~Hr{'7ɌfNB6J=<ݠLv=89 giUx@IgYZ7zXZִF! Aj]ŗXi%B$KPh:VH .F^EBqymK.SꍰdvwڛgR8ݾE$@`k6) rnCखj𯹿[ԩLw+K:¶^ XJ'?񥸤?;`ERg]6 q:W ~q;~tty(a. Ka(E]Р9aB`4tjf0JkXNME?Nɪ4ūW tl 7KڟqV$ŻQqd3՞ 9IKc ;Ӏ17# Шc.h8]*@&l/ יxAFqPVu҃$XUˈ$WH-ǰSѿ @RDbAi6ͶF `.0j&r"1ZG~_Aal YYbSifx<5O,$"vES'A+s]r!ڪP.@:R;sDZ pW ,wݫBhAŖcR%,3j(alN ~+_$?ڭG+.7[%JvItz1f