SQLite format 3@ .  YYQ77Atableisabelle_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, "errors" 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  z z{-t I% AutoFocus-Stream:threads=2elapsed=67.615cpu=119.016gc=2.092factor=1.767zXZִF! Y:]ŗXf1-/6vRZ]](5øF<Ꜣ\Tp+LS)h2)Z@ldc6?i,pHVPX5xGfZqOαe岿ba/_PM-J[ Z͂S)+JԓۊIDUKR#`W\KD:mUɂ~8H2G=nOOޓRF|FY++ qʖyH$Ew8u1 F1#;  sM"ُlj,j[[&#'$~(jHT %gy jgRe3JsԇцOS ND[}QWՔdCa-g+Y>n/t/hgS:a*DXW.&UG5U*^TaTt!MU&/UIȎ xZ2CIP=BoX^C@|ßmf}m|9VfQ)u[toFcgwͨZ>ֳЭH4\oj*=+4'1C̚=<;׷vM0bQeN2AR^ZE)cKx.zח~Z%8UE J)䲈MbǵQPN#ȣyD*dDFW^3HT8ұu߼qN4uzhsQ/p.P{e%.y A4^aLf!iWH̔>;)lPt"SK}^ \>emfzSC~ێcPDz'zwTE˩/Z YV6E&m-?CK>f)gLKb} 5J90ƨҡM6tS0}MҮm5>z~L,ϥԱ, Vbv?8_iI{a! mOV6<=Jk~J:8dz1N t[VhRypl[tR\.(\RfŹI&JPDmlbK - AutoFocus-Stream@Z:9(M8 $ijWi:α2La@WVtX*;d5={| ±gYZ7zXZִF! O@ s]ŗXi%Bm#JG6%!կ-GryMaIlp0o"ڭWN?P]aEP@Dށ{Rk+,}K2(&FJF "\%BѴvHTo6jb}Ǐ\8IF\fؘtQ$p$}`'}ej7ۃqB&X2p+4и_`5E_lӕlk*0%B?M Y݊o#rδUO@cU~F~,eoxn `fȆuܫQVF׳m 2  |Olv' X1D 2g:{=<?gSrJ[9 %8&d -mW46'G.U-CZZPϚ yAJjōu5"4 Jx]!ȪbzWdtVT%  $Ur-VUj).8Llx@iڠ[DY1PY 1 &R$~_8 ء zBnG}OnJ>%:j!]W@Rׅ7S}6O <[ߒ"&K@`~M$_-≧c1?4JmCx8#$ Hu@qڭ鿈9<@kE3ľQς N3?QEٟJý[nZ;A˺bbk<}W}Uo" nfd[|,v \0:\!>-:,Lߨn#rgMa!HO[RH2\{e#b|Ͽs1\`ܩ+3v>AT8\~Vq;zS?~prnQH ?.ؾv4ܿ_X PЀBi"_4yW$^\"J]g2ugEO#V߫&e~2H\2PQ>8TAPOs0@K boDX WӼ:NK*>I67u1=׬__0w_j e 6),./mҵ} a9%fuѳK~4C P #.2~T՛ jm5FҺ:< UTHYk[BҸk)T% aӥSɫW65>Sa7M_ȚUٌ')#'qbWLa{fT0g r> ,š6W'j+FtvE4k4]WQԸNq`3 M/yZE[;j +2|lYuW]S#J4SJ {4}eo9ڮ=7%pL,xH` ۢ %{Mf4ӟ^N1oPI2t~OϒCNJܨӵjUG9ʏ"E)w $"i!#t>N&ߔ 4\4W@\/`[< dm zc:Fh=:0l}-V4K (Æ >h4i)&/RL_Cs# fFLv9lKF;`1e[+y?kl6fwI~cf#Vtgd/-adZj#gEi`2j$#38Rsot( k3+$A$ĉJd+߲k=s5ek _n0\oozc$6MZ1CϤ${VƴC(>V^\J48CeMWߵ:H{˜q 1| ƨW \%􅼎ОʬI&!!ȰmW }E$silO=^P4`mkq.Cٯc:YcSQBp ʽ~XTpӛv_3bx:bI:y@4rdrꔤvDn9w9BԈiݹjCwI+{(׫xs|%[+K3m~C_T@A=m _uMqDhƦuؐY%ү(Mۓ{[ lb2@P2(|$[K>qF'UY6''br5d-)m"s?:`̜d̜'ӮI:4kLy+̤u,"RYv s wa_NS; oR(Tl{=:kڎ[<gYZ131e43cfecd9e446da72becb278b2ea7c436f6b4 1b80d85ed736bf07dd657ffbedd75fa04c61d7ce 296c07736a2eb76dcfce8bf32a68975a73f1d0d3 3c40b84801f079babcb203bdb62bbc97575716f6 633b88c080681c6712c9f7cab4483e8cad1b4727 664f0d125a0e34e4d1c3e926b5624b05989e4c01 a4ea0b102b5a3f7037347fe0a92c125d8107c9a3735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa 182507163e45bbf725735e35871a5ba3be6c75e3 6999f2ec545fcef15b70205ad479d219a6abf50f 824e66257e5986f1148247f5821cd054facf94f8