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 kk !|\ ]]Launchbury:threads=2elapsed=80.003cpu=156.128gc=9.736factor=1.957zXZִF! HC]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jknx4fx][8" UHwd@ݴYWi,F!#uU&; â/[q=!#pE}eq㑻({#T@9v-xۙ oYU/Ϫ7)Jc(2*LJQ?aE;c]ff{iB$z"Ł%Y(h{tDn+bܲrgَoOQǞ|]GnxBDJҳ2R^ )Fdwͤg҃C^,';/ ٘ߨ!L[XsjD0*$GI:a>Q뺽n|Eԋ٫W+PcFj%l /8oSav}ؠ5`8KpnhT܁KwS"M1[S'1Ԇ)7 [c[ĮD70m <-L6_*Gَ@d4ϵ?L'7y1[*9 ^HBR%UX͏ ɞJ.;/¢kծ3h{9GdВ_›Ɓ }Hw9 ƌPOZa@eC\A~SLe7僲mY]zw }A)L]NO FZ5GC "w&;ޥG28_)ҝ!/ſ=NG#Vqc"A:KLՀ, z7g\/G8\۸m%5 сӜ ~$s9z2HTqr?Ѷ"o1 _{^%oHD&:pX4^yk܂q \!oK/ &;*jo>tVc~vUfR}-뀪1yC)%z$:r(bM.ŅOwL[9?y(V]%y {졏+ujںG N658)l)CVE5Ib"/2>8)$V_m8f>(\|Gf^uͤيl,&NG) Ƙ'uUb'Mb&e< R06fxA_$Aї%hfq?@2BH+N}ss:Bs+R+ps5*)YƄuC6y(.a:֫ 7vJ;bߛ8,D#WH P,A~`mak$3Fx"\)hj}.uhV}elَp<:wEhg!Y91+Y&;Q$2.N-zl|hNll,jGm*[M衾]shH΁y k€WٸϩôH' 8Gf8+]b{-b٦x>lOM یwrq2=ѷtN] mf-ㄝ_!߉ <'&R#M[ Cmb+nw>F6_JA@'+1tF]D M[\!o1|#@QڢeJw*  "Suu^c+"ʇٙmsUejaÐmV,/;۝+́ʨ+z"B ۑQk7CT/˄(~xa# = {:k0gYZ7zXZִF! ]ŗXiɟ1˦rYsxgp9f閷V1+n[svHC1QK: [Y%(ȔQnQY(!5K,{Or.+0#sRU yp&/EHQltlN{bV4V]:˖fދryGB\ "xauᇱ_,P||2Y&hwB_b}[g?>q>˕?=טomSĊvj9S+vԶ'u\=wVI[߄7h6>6߾|_"v$:ypʬnMA< jB2*tPJly<ϭ/Es.>$>ZjS6[nJMX:NFUOĄP0ܸMn qTcU2o1,ʢglŴ3wN0E%Bz K- lAï ]ݤTK~uRڡ:4p}!EAPsdb~ȅ9JG1޿OxEmr ַ4<S1BGm=@V%4ы~EPʼOV 9>(2i)$tu.pTGC) pM@?!CUpDG7V%DjxT3wG8M%oC93TdDq-!mqرgYZ7zXZִF! ]ŗXi%9(R|52r>JAF=&-V;+ջ96B h$3SCd-b;yptnk$W,KT/œ VK S3m :xo jfҵ|8#q'^vH[(h9L== (}-Y%3u+^¢+8L vR87ctJY6xAf\qnX_l,uzy.T%kyD33R.p`nVMN7 R[ƥ0_ }ށRVEZ2*Cd #63aKOÖ`cpC`LQza%R([ P );|LR>s` d, 0Q*Bmq4&uV2cB|_Y1LYO'pu2>cpm+PM]C"2XCȋĺmMwl|Ȥ-B6y' l8̳+*lA=!qv;v4]d|i>ǖI,}Ѝq~:HÅn֍7NDfex0W$e7$r|3$@kEy;]AP BqnAV2\ 370  ! LaunchburyTșƶE=D.1H5M@ff!]̈6e+h[kOR.[:,r"{l++7$'^m :]!'-a&P@N*6v$ocA nF#$w"IA/c: oAO揾U6rr9 uB~Ă3HA@RI'a+)3]uڰhg$rq#j ߙbüҹ+.GеbOb,jQq(Κ3FyqM $Re͍7V?܏4e{ ) ;Kh$.RG۰*~/f~{.pd9w5qok:1KքxLPWqrbT /4Q%4nRUљLkkSyIĨdybbz :yW ?#P0Cѭؘ(LîcI x7.pW_>[Ac2{&N07z>0{`x꼋oO&8`);iϛm!mp#1 mJH )]64\l Gl{I 4݉aAY([},}Aw)QWE}SS;/K$BCҞ?F-}Z E /&Y63Ev@h@ .ԿMfJB'kIv;n ډe.d vat~d,˱i e&(J3HdV=THƂ_ظչ,egU PY!>a&CUI]S7K~<KINjZfE)PƸBSɝsZNh`vG}u_̩bvG>a,粅nBPqf]z 6@lkKJ#OIf&5^Īx$C?eFn5175D41eu!BM`(/ӎvlth0ܽ.ܘsGWY{NkiA×UABz mUe>^1hV? hFX!4eMB0=_"B"rfWB \^ϫdZa^m>F8tu(Kl)fң??@^_I~d+a,\S)j_˰٫A3E[W t"Pi I;%_ Vndi$<"nKfDa>Yp"A i^e\,HГ<>Baϸ^k^APPPT3Yq6a;6V)[ᶳlRZ?J(?eTqp=o+u˥)Hx3 e<@2Cϱ*R.~͹mGƨ`4af~dpN w_vǠ&p7@>*G^,ڴĜDޣ#y:%80)pgq5֚_e큇L yS GMA.dBF^!cīK*P\l.*O-xPa?wG$~fKHT5(r09#ٖ*ߍѶr+J _Fb%Kл>Bp4Eadxd4A|/ϔ| ۹HSf=bxY1坼뉯@#t3>#Rwjf)_P&3qlǬˑ\Bh=3ؙly #&LI 6r8%fٍ]z3~00dv GOKy1 <d2#Td+)5^h6YU$\,~RHL(\2JJ磑*&H2ji譭'#>y_BRЉkiN#p?dL_pTe" (>?1 ZIEšnhm\ՀT1XJA!nXผP+%x"X0M[=}aMiP(}ahe;kw*?!{}cWr֑U=V9S YqX&QVEal)c{7[ ($\G5@0sk)^^\0q( }d{SX"}޾k R/뙜 ׫8KTO诬'R MՅE`~ޟVC8Q#$KC'f/~zXg 8-QMѬL%fSH߄_!]D#F*rV^G5T &Cv#Jal}sMhű8*W,qޛ Vma>;aܡhy 0jꓠ{-lF$ U.h?ЀܶznjN@Hp1[SഩajKWEIbûic̱\w`{]aQr%\UW$?B$*"|ˬ3;Nq|alP=~ʼU܂@ <[#N]4LI`$/oaӞ}v }6Ye Vgޘj;WH/!XEq`TH{)֣ pV /