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  O O&;d m]Stone_Relation_Algebras:threads=2elapsed=60.551cpu=100.764gc=3.296factor=1.667zXZִF! <]ŗXf1-/6vR[]o:чR7C6Vc_ڸcOQS'u'H#b LvIz&,hrѹ*@6K;ؙJ+/-.&{Zp&Gڝ* ,be (A,Ů5V'.$Y`;3ӅƅxA Q#XGn|ݔwF3ͧ4O@}P(*} l CpUn~?uw˔C)A{k$F@6sÆ*^籜 S_ӶIktC"<,(OZqN*K(])J&LԧR@#M-mG7u|]8p50yܗNQfuHZpف)qMھWF s<šIXhzFN-ƃٌ?wQmIe 2j-3*jW-)qNךay=P=)ts8ߦ}xv͹ʼnҭ闬i&m`<>JєB+ ߑoRScH6eBk1h2 ힶ`nvw_V'>?w+~""z/K$2b|?BOPÁ~5 QZ8èhޠ 7dpXyb|Ksې}9H GiלPX~}? rR7->C-v\s GB)@P`O/|R !uǾu3DR;/=%5㋟F|TtЩQÉjLkIWP$pq~R&n9RG7~[+0?tk_($J] ݘdi o0g-DIQ\|qk:e9#K8sOU::^7INRf u팖 [ L;:{j԰4U ݛ?XBIm ɇLWQ=Ɗ%YN(0s\^\Đ\@GzN"rZUOHm " J~N祝KBradr݊FÉ4󏗡pn$w+[ N*l"$]w^8. 3f+N!BO!S_lQKMZrW{->lˍAK/}"JA҂UK>BbGK( e\ y| 3 vF־}\V`cg@C1uʪfGq #p&r5 w*[u_= Z\~"#+MCz0Ú<Ϩ*ܢWkvHZH P7D谔褣iDu韛4-nLu̓$mOrRT</^`.߂*TjSR>F5bO+dL {潱at>Å4?%Qɮ$5 *')8/*";6s:YվA>I1W1Itcn[fóyWTqcd!'izND9܌V^^@-dsr֮@'3l/`ǘ'OrV+ '˜ cݱ4io#N+CnWiX5=+ppU+5fbeA^%؆ oW1}S)lg=aҙTH;R?!,& HG$)kbxS.D5_Zׅ(e׮&}竤sH bb*+psC7¾xT~5*А0 "*rsBsoF\w~047iխ^g͊G?zZK=z[fW[b8GCOe6J0A!jSڣ8l"<#g)e:ĔL %=H3؀9%Uæn Xyu#d5 !0}= '.M?&6"7؜ܣU2-xk ctW)SβnKą8MU%撶"4N,R}Q炲5C {F70! 7c cš xnI"s}]6ЈmW+&5i+Ctc8qs!To+PP,T<m{)2 e l[^P nХNe;S_hќaɠk;tԵV!U:VpSX6]da.sα $aƣ} HfJqoD eЫdHOBHYyQ78Lyseo>:IUb= ;⋓1\Lɏ#1Hs@OFꇜIr{cJxHvPG4Iջcy-CīQ'<Y<2,\ |ؿ=j&T'VdV8q8Lp#eM1G5Q`<9,fi@۔"dX[Iwç ]_ .g&B\1&t^,UVCdG޷C'Nj2UPrydwkZ3O\Viza WMEbH?K-'R|ɲ$}դ qR3XSnUUKu3yZ׈k),)'fӄ'PEE1rʆדbaH7kF9lyn`/\XK#&n (;~ke}?C&2ɞzǫdq!W~YR8=`#/Xjk͎vӎ>.E2,q^D]KQ>efo/ C8,#N@ kpc GU*Ho j+ꪱaULv1-0o P*L3Rl⭣NB@7CYoEâfVgnx'~ \K4 3ޘaZ]k'-v3#7U$v@@ \5 +yg<I 8u#a|MyʾgDM?3+Z^ 0딣{2uhG' ∵+xݴi [OZa%n@0 LE1d(q~ >S7\g6z#*ncwy# &/w`YչE, _Rx9]b7㴛%*ٴ$*%\j4qt2O͔a5wnaX$*DOy>s؇ò7Pl{d.Q/ިij?+1лB.HOg|u60^[IMDzacz{ñuGR1M}/yty }ȹah[q̧i[Goc^5Q7>,$qA!gzÔ qM6e̱gYZ15b74cf114628786a79fcd1b7b0d850ae4538973 1cd802fcbb387b9e02a6b117d4fd35556210455c 2c54528a9bbb694c5e29c147708e85cdbdd48dad 2d3379ad55aba280f2a3a739b1c738a576c37bd5 56ce51e51c52771c0ee6e27b1d0e017c84baf301 6cf0434a2c81b3cfc66d5aa533eda695700a4801 6def3dc46358ea64f147563ca9a5264abc407f8f aab124be90550157358bfa2fce73b8787a6fd3ba e388782066b4bb00a7be451e2533369cb95c0c33238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b c56ae9d5441b629f77cadaa07ce128a6fd02d228 03a3bc42d7e119a3f4dee912d93f8f2fb55e124405df3aed5317f6f783a9d99f55aa0baac168133b