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  A7L\ / ComponentDependencies:threads=2elapsed=69.290cpu=131.548gc=6.496factor=1.907zXZִF! ]ŗXf1-/6vRZyߧ{nOJk )'}#k V}]a<^f!V{=7s" 仺~gysOBPzom< ekS\Ⱦ&evЄc!ggj)@މJ4^m iA3忦Lo;v86tk9̓%IG[ǝKK4!ﻚGI>Cac x8+OQrĀ\G|3,h_ҏk̫1>ҩSTY|L0#=POvb{Jg'À9 7 ComponentDependenciesZ7( 9:^YOؼ?>Xl~UO#8j$|$cD?p(+ˊyz 1>%Eil Ww^XUԱ6*G)/K{I%yZgiN*9ҕkka P*WxH86Lev2CZEY7nmҲJk)*wg 2rI6X֑ Fo9Ŏixsb֪c#`dZsQxDt5>`w`RïݠXJod'\+T8bٞ)*3/oz>gH*\?*UDS [<*Er3 L"SNg&d&H=C &n(!gSckh4ELpԡT-YUviRxb._cZ/'3kc"Օv^$kw,&0-V| 6u0H9|q]&q^6h9]^jź#x2Viǹ$IlrXdPlIVv:)U#%n? ["1jtQ?rh$E#[„#jty8G=twcYi7ozq =ˇ4{B<&Rim,D6P+A?V;`w dH /gz431Or)M+d;4αPIJio:u(6W>$wSxZ^ou34榷k]ʭJ-{R=%yA')=  YQSo'=6r0I@h}б^J)7Ay(~sPa*')BD^g5yUb< ؎?k|/6{"R 9SQBNcX"0DUU#j4cl)(bqO+Rnu>^YD9z7Eo+D5軆shFAi\kVq_0vnPgyR70?=Ga 4/YM0 ,i} Hd,˂&ZExoNJǞMvẁ7Eo\PHs=0c؛L84)D5eNXE0?'IcX*WX?W(>fyL(!(]DtoUuXmmWT@#]lzYܠ&1i/jwHP#]#ᄟ$ t샚K;\.d"ij#zZBrm|= !Wi5-eQ۲QuX?\ܖ붜k#†8†a6 ;l*u=t1_^!*ͥ{Bi`#@Z1(ݱ7: _YyG+;Qe -B]6|2F85 )!VJ$*=TwjEC&E-> 2mhn %eFb<؁XxuϢpKzΥh Pٳ82]~^9J~9$pNȇ;Oj *8]|98* |ć|~ZF*7K\׎j+ډEԓV *\yܤ9>y(vp eKIJjBQ )ӭ$MW-*:KBtk9xÍ1]qgKl =HA8mƼjahr>j_B P/'D 7Uȃ+"q7 )Be71^(YTxn)9㔳 y *V43)0'#3)h1y@jyO -8@) #t{qMtU>s?S{g>`5#0 %h܄6s;.摨G4:j.BcmV_cZ(O9i  k$IS>/C)؛u ^o]NV714=T-"%|%O`%)PxGTaEDy2GzU`ou @9VxӃHR="!=>p⑵4Yk&tu?*:C?] ;_\ 8W1 }flܸIawv)vJ÷0`G^IĐ-Bte_e~S ISNqS?֔.R Z|+bܻnK $(GޱJ*``z\3hǮKV'suVB-?%C1M!^o =kpM8B`o9ZF[qiNg.e Ww iB4ZV#-/@@̓ogqohG!+P6B) zE##1a 3 =z[y?nAﱀ 2&ySEEs ǘ`d/t.cQn7ウf$h\beP[EX*]ɬι)x[>ufd{GdII&/C%3*nFEikSkJɋ0gYZ26c733d2ca38ca397bc4e6d0be734f30e1b1e554 3db12b56d1be69d6ed605c90697dda259182b397 49e9f1f844f037ef64d21d9f9ba269314b3f29cb 853ab616bfae6802e0fc7922600d28b0a3ce1f38 90b06b6a717bf0e451b8900fc1800a3def831408 bc360668cb496a7bc167eb03f7fe8253a9d62618 d08c35569929f51ebc66d7daf2307976a0808b29 da06f89cb08047b16b2cb6a0705cb5c0f59619a1 de6876367339b6f2b26e2b7471b6a3dbad6365e9 dee2379edbf45528e8c481439c264abdaf122481 e3037132d95634fc7dd5de5b85f97751e0cabc3403f2cc36b4a4f77618b1b338c8aa62714b840e80 cc27eb456075510284f02feef1118c21e49edbad