SQLite format 3@ . BBh77otableisabelle_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  I I(Itt ]S Stone_Kleene_Relation_Algebras:threads=2elapsed=103.300cpu=192.936gc=6.176factor=1.877zXZִF! ]ŗXf1-/6vR[]o lY cjޮ_pGpB&gW4 k3&cDO[ !%+dڊʐOc8:WL>`ͥ+͡-߾J3.Et?Ӵ-AtmG*9 EDe'qeSHq)k afFfjdr$m/H s!W"}c)1JU?=ڑVF n!ޓkY`FܕZ֎$P#(ȞqNDEEݢ?@g>K Mt+PAR4~ 5'VpF!B|"JaEn|eKr6;A)z#V=^AIacgnH֏:v[1TƹK?֋ @ l:h`qO6;I:joGU/:йMeBrwta2>"0KH?YkǺcq(O6OYLRlcѩjAhu] !I Stone_Kleene_Relation_Algebras+emo4Bޝw'[]_ հ~`qTVB†4a2js"Ldž ;}z_9 F _O#ds!aieڤKR]xu2^We<&V *eIjAa|wpgL{BUWo#kb{^Zs^(i5esei,>?D63/Yǒ]L9~l1̤`u vgfapw Et\.Y}Pt2Kri:7K@TEiGX&{ms?X&&΁LAȹؾhU@ko nR){6/:=Z77-BpWI]q=K:n_4`&Ewf y(/Tœ!M8κ)vY*QU!7u6_)Egbqi-"xo|saھ:Y?}k12JWY&#*F\6gqާ\S寅ͭ܊I _7u\'wfWIVX@̼+%_nS$т_C17?3 ՠd7ʲ>5m$.!`m +5/r' P'-@%OY&8bgv{6~/' o{e8}bl"d*i'QB\6ب~Un.h%9ĠP|̀f5یL*eC׶b{/)M>{`KeI0lrTTn !?N/*r󪘤q=I􃓒'{5¾@B9ۑ|(iƯk:hS3sΖp2Rl#4KoE~ Q"&P!5M `-\R$g-y iv R#;Q ':_<%Q׷ @r*2@vܻSYp %|^4|a]RX x#EX}| p ¥ ,gYZ7zXZִF!  ]ŗXiɟ38)=X<\3~Ý2. 䴏"!e4Disݻm=n5WC$,̇lJ|kmaT<n:nYU5!NݜݻaDRWS&<ɉ*RJ>[g] -&:pogS7< ΂D؉+~E#5'#0-}KDFu{.HXy 6[vAR\ͧjw^eQYSPdJ]q(lSiƼX=&u! t-֙Ϩ *]PӤ]эv`Jz滋5HjSВO8IG@WD/maxwH9qB'iM.8ZJ8r\>#Ҝv[2"]<=Ƞ)DBZL4)knLeȨW$"[ /\z6&yf XAB0\^q"_Į'S"Ա0it^ [y- 99ި,;9> %"g,`hCp T uJ.x h8L\^`Vy=D[9-`?_)QZ" 5%RuBy+י!$ikDyz>iݣ x g&i_mi"S 4ar*ŤBY' H^Cu惚ߨ@Y&WmR?q#B| l}`R!mHˢ&T;)@\7Pd"OLӰ8r/Ny`% se9yy19Y1`@6:Ufc:7 7ީh _btg QpJ5vU/L.;SyPOg rrnE{ !q#fz~ҳ/rH0Vd-F1丑AZvS,=Zў<8g32Ex;p"wYs>[01ct>FeIwmw-NyXQnG aרIh@) xFlBNsrÅ *uϩ\PP\Ŵ c3Z7?& ך|jx*o6LQ:474XYƉא S-'b38ԕ]:Qp7:GbaJ|'R_ܯ3PMƇTYLVU$P#$K2-; + >=w; Ǹ_-}{lƤU&[_`q~ Ȑ_/ϲDB=uj!e7TIB~֒ZoS%xd$[Xg@4UO{K:IWV#]Ǝ{ PCwPɑrۂ:̦} ^PR4#5b*^L޿?-iiҷw\0 rah}'z a oh#ĎN*w6-b!b9,LByJᵲ}$yD!ay}u5lPc'D^R0 \1ݍ~ԏWTyͽUj>#QV?Im:Z*0n/'aސb}۬23f~:^)ە:Qpe"L\J:R-s&! ڿn/ʳN>ƪV-$V?}8SA9N˲4聀֠?-ݕXUyCcy}i}JMo~bvTijQ7jf6XnZϱ50aYx`M8,,J6jO;%졩̒8U8HU7ƃzx|DeD [he*NZ =;qJ@rQF-`4Fn7x39AFns*U!բߢi} ]GuIrB~pD]j՞ Rr :4HjiNag I6r|B)H]{, /aSrі14h ~{l1&_IBD4;,2G˧;xhKJ $.>M 6N_T]^ӉS|P> qGMJKjQs1~%+!J*cu +J FuTQR9HX4@jhN{#!NI]dT1l^|-ɱtYLrcɳYȷɀ[Z0-6q0(ܫLֆRU[^R;U%?esp f-)]F0rR9dž?=ed $@8sij$Uea$3U]|ce5W &Rߎ=%DFQxo WN54cE7FS)*Z!G\;(N*9l^?.qW~^wŹ z ~zw㣖Ƕ-f&:v(wWTBwf3VԲ^:Ve$U $)@2zb~xS$"beCD$Ƃ[5rp >W<\,?"5[eM3v-tֶjAeK˿Wv)6%"~>KGPPol Qx#Ԁb-lkx