SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 GG6' t\ ]% Tree-Automata:threads=2elapsed=34.089cpu=60.108gc=3.160factor=1.767zXZִF! r2]ŗXf[&rԿtvYΖ_ F&GپX5v-Rkͫ$KGd;Mһn:h%)y\MDqfpRAkW%54hj`fk:%8Y=['*/5^8eO88=,qyjOGVHȷ?ٗ?E1}j)&/o߷f|twrVP^W ,}sǗ>z +#9)+=k+үq=DwaN&!>-i&:=44jsx5&y <gT6ƓPl!1v-TxǍymcBٺz2W9/({|w*MD BR͡(з=elީΏq~e!f](؉PV,< S䨚vx1EpÇq\#jIhNX_8"K9<]f4H ,%`(ȍ J>@=$;Ǟjh9 9ț)2'6^xrgjSJ- 8-@Z0(ط0(OyF#j6D35cؤhQ=@mmFU\ȞE4^RlE"A~Db1Xw[\_Suz4zc^k2YrJ=p^x].Vg$ҋW B Q06PM ,j0P}P#:!4=Gq@"YҫZ2)c?i>|km%EV2q,#xXw *f/9m+B.EQY1XZ/;g7Hz$ZXSm҉JGE|`tgՔaV:jydǶe9,c'Q#fmb- DR{ӕN]׺k ~T#'59`W~3N߻3WK&0%"y[\U@1zо]6}Wكeќy#}  zɝEJخ1_0SC0M2MM!f>[7W/CZarDA{Zȇ0Fo%8GakxjgKpx 8j/T7BN4I#`JX*|/M`F\49xĽ<C%WM& Y3n>(T25rLjH*id6.1.z*bb (*dɽ\`o]УtR"I<*^Zo1u9w 4#sBѳ`բBҌ񂨳?+~9?SYr.n?w@goh"-iRӸպjk^ ]d|XiWo&Jh,ύNUYT}1`Y)1<܄QE yFֈ9`mvZRCl کH9{t)W-3Ra1*xQQޕ^+(5c9-L[i9jli®ѹJ)sQ1CY ~uC~?%v㱆R=hh0ןuݕ=S_vdἼSI_~3h ܠ5t|i h֫0 öĚWd:qA>)"s1[%lK X*Ju9e6<<5v$Sk[vE5 %2]0䰜yZYW½a栻 6[P5koۨ(*̓1a :hA򏪀w'%xsXܣ5L3֢yOfmņiha's3{AGΠ{pR!~ψ@i'.vi_SN<(m_u8~7I%e(ÎN5z^2R#Ae\X*;8Z_x7Ta-x*Zop?m*d?S\-}nQRƑb 6Llg Cddef1Yv]K1 A|z%yAߘf֤a-Pgg&_T &JQF)٩21m{^\ tw:Ljv<@ql2Yvә(hz]8z4&k<(4څ4Żۣ LVhr$+J2zJKRX_߁["t(]^!& Lq+9j'Pi̢^A>fW*J4M+*Mgž/jg_DO7q xŸ lvarT\rтzgYZ6e25bf311c4d6c4a14e67ebf2ddbd1440c92958e0779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509f db425a9259037423f4e156b4720884a93225bec8 3fbd0146b4e5873479c687e1e5585ab512d82083 5194aa18b86f6ad691dcb6298c8a53536a5dc3e1 ' Tree-Automata